verse.automaton.guard.NodeSubstituter
- class verse.automaton.guard.NodeSubstituter(old_node, new_node)
Bases:
NodeTransformerMethods
generic_visit(node)Called if no explicit visitor function exists for a node.
visit(node)Visit a node.
visit_Constant
visit_Reduction
- __init__(old_node, new_node)
- generic_visit(node)
Called if no explicit visitor function exists for a node.
- visit(node)
Visit a node.