verse.automaton.guard.ValueSubstituter
- class verse.automaton.guard.ValueSubstituter(val: str, node)
Bases:
NodeTransformerMethods
generic_visit(node)Called if no explicit visitor function exists for a node.
visit(node)Visit a node.
visit_Attribute
visit_Constant
visit_Name
visit_Reduction
- __init__(val: str, node)
- generic_visit(node)
Called if no explicit visitor function exists for a node.
- visit(node)
Visit a node.