verse.parser.parser

Functions

ast_dump(node[, dump])
compile_expr(e)
find(l, f)
fully_cond(a)	Check that the values in the whole tree is based on some conditions
is_main_check(node)
merge_assert(test, trues, falses, orig)
merge_conds(c)
merge_if(test, trues, falses, env)
merge_if_single(test, true, false, scope)
merge_if_val(test, true, false, orig)
not_ir_ast(a)	Is not some type that can be used in AST substitutions
proc(node, env)
proc_assign(target, val, env)
unparse(e)

Classes

ArgSubstituter(args)
Assert(cond, label, pre)
CompiledAssert(cond, label, pre)
CondVal(elems)	A conditional value.
CondValCase(cond, val)	A single case of a conditional value. Values in cond are implicitly `and`ed together.
ControllerIR(args, paths, asserts, ...)
CustomIR
Env(controller_code, state_defs, ...)
Lambda(args, body, asserts)	A closure. Comes from either a lambda or a `def`ed function.
LambdaArg(name, typ, is_list)
ModeDef(modes)
ModePath(cond, cond_veri, var, val, val_veri)
Reduction(op, expr, it, value)	A simple reduction.
ReductionType(value[, names, module, ...])
ScopeLevel(v, Union[ast.AST, ForwardRef, ...)
StateDef(cont, disc, disc_type, static, ...)	Variable/member set needed for simulation/verification for some object
_Assert(cond, label, pre)