verse.parser.parser.ControllerIR

class verse.parser.parser.ControllerIR(args: List[verse.parser.parser.LambdaArg], paths: List[verse.parser.parser.ModePath], asserts: List[verse.parser.parser.CompiledAssert], asserts_veri: List[verse.parser.parser.Assert], state_defs: Dict[str, verse.parser.parser.StateDef], mode_defs: Dict[str, verse.parser.parser.ModeDef], controller_code: str)

Bases: object

Methods

ir_eq(a, b)

Equality check on the "IR" nodes

dump
empty
from_env
parse

__init__(args: List[LambdaArg], paths: List[ModePath], asserts: List[CompiledAssert], asserts_veri: List[Assert], state_defs: Dict[str, StateDef], mode_defs: Dict[str, ModeDef], controller_code: str) → None

static ir_eq(a: AST | CondVal | Lambda | Reduction | Dict[str, AST | CondVal | Lambda | Reduction | Dict[str, ScopeValue]] | None, b: AST | CondVal | Lambda | Reduction | Dict[str, AST | CondVal | Lambda | Reduction | Dict[str, ScopeValue]] | None) → bool

Equality check on the “IR” nodes