Home
last modified time | relevance | path

Searched refs:required_values (Results 1 – 1 of 1) sorted by relevance

/tools/verification/rvgen/rvgen/
A Dltl2k.py109 def _fill_atom_values(self, required_values): argument
112 if str(node) not in required_values:
117 required_values |= {str(node.op.left), str(node.op.right)}
123 required_values.add(str(node.op.child))
126 if atom.lower() not in required_values:
144 required_values = set()
147 required_values |= o.labels
149 buf.extend(self._fill_atom_values(required_values))
181 required_values = set()
184 required_values |= node.labels
[all …]

Completed in 3 milliseconds