Searched defs:normalize (Results 1 – 2 of 2) sorted by relevance

/tools/verification/rvgen/rvgen/
A D	ltl2ba.py	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 [all …]
/tools/perf/util/
A D	expr.l	39 static char *normalize(char *str, int runtime) in normalize() function

Completed in 5 milliseconds

Last Index update Fri Aug 22 10:33:58 CST 2025