Lines Matching defs:normalize
130 def normalize(self): member in ASTNode
153 def normalize(self): member in BinaryOp
176 def normalize(self): member in AndOp
200 def normalize(self): member in OrOp
226 def normalize(self): member in UntilOp
248 def normalize(self): member in VOp
270 def normalize(self): member in ImplyOp
291 def normalize(self): member in UnaryOp
309 def normalize(self): member in EventuallyOp
321 def normalize(self): member in AlwaysOp
334 def normalize(self): member in NextOp
357 def normalize(self): member in NotOp
388 def normalize(self): member in Variable
421 def normalize(self): member in Literal