Searched refs:GraphNode (Results 1 – 2 of 2) sorted by relevance
| /linux/tools/verification/rvgen/rvgen/ |
| H A D | ltl2ba.py | 69 class GraphNode: class
80 self.id = GraphNode.uid
81 GraphNode.uid += 1
90 new_current_node = GraphNode({self}, self.next, set(), set())
170 def expand(n: ASTNode, node: GraphNode, node_set) -> set[GraphNode]: argument
186 def expand(n: ASTNode, node: GraphNode, node_set) -> set[GraphNode]: argument
191 tmp = GraphNode(node.incoming,
210 def expand(n: ASTNode, node: GraphNode, node_set) -> set[GraphNode]: argument
215 node1 = GraphNode(node.incoming,
219 node2 = GraphNode(node.incoming,
[all …]
|
| H A D | ltl2k.py | 24 def build_condition_string(node: ltl2ba.GraphNode): argument
|