curry.backends.py.eval package

Submodules

• curry.backends.py.eval.callstack module
  • CallStack
    • CallStack.pop()
    • CallStack.push()
    • CallStack.realpath()
  • StackFrame
    • StackFrame.realpath
    • StackFrame.set_from()
• curry.backends.py.eval.checker module
  • Checker
    • Checker.capsule_end()
    • Checker.capsule_entry()
    • Checker.check_capsule_end()
    • Checker.check_failure_record()
    • Checker.constrain_begin()
    • Checker.constrained()
    • Checker.copied()
    • Checker.discard()
    • Checker.dispatch()
    • Checker.enter_scheduler()
    • Checker.escape()
    • Checker.escape_insert()
    • Checker.failure_recorded()
    • Checker.fork()
    • Checker.generator()
    • Checker.hnf()
    • Checker.instantiate_begin()
    • Checker.instantiate_end()
    • Checker.leave_scheduler()
    • Checker.merge_guard()
    • Checker.pulltab()
    • Checker.pulltab_done()
    • Checker.slot_write()
    • Checker.step()
    • Checker.unguarded_merge()
    • Checker.value_bindings()
    • Checker.variable()
    • Checker.yield_()
  • InvariantViolation
• curry.backends.py.eval.configuration module
  • Bindings()
  • Configuration
    • Configuration.clone()
    • Configuration.realpath
    • Configuration.share()
• curry.backends.py.eval.fairscheme module
  • hnf_or_free()
• curry.backends.py.eval.queue module
  • Queue
    • Queue.copy()
    • Queue.fails_at_end()
    • Queue.failure_guards()
  • failure_guards()
• curry.backends.py.eval.rts module
  • InterpreterState
  • RuntimeState
    • RuntimeState.C
    • RuntimeState.Choice
    • RuntimeState.E
    • RuntimeState.Failure
    • RuntimeState.Free
    • RuntimeState.Fwd
    • RuntimeState.NonStrictConstraint
    • RuntimeState.PartApplic
    • RuntimeState.Q
    • RuntimeState.S
    • RuntimeState.SetFunctionEval
    • RuntimeState.SetGuard
    • RuntimeState.StrictConstraint
    • RuntimeState.ValueBinding
    • RuntimeState.add_binding()
    • RuntimeState.append()
    • RuntimeState.apply_binding()
    • RuntimeState.catch_control()
    • RuntimeState.choice_escapes()
    • RuntimeState.clone_generator()
    • RuntimeState.clone_queue()
    • RuntimeState.constrain_equal()
    • RuntimeState.constraint_type()
    • RuntimeState.count_step()
    • RuntimeState.create_queue()
    • RuntimeState.create_setfunction()
    • RuntimeState.drop()
    • RuntimeState.equate_fp()
    • RuntimeState.extend()
    • RuntimeState.failure_level()
    • RuntimeState.fork()
    • RuntimeState.forks_total
    • RuntimeState.freshvar()
    • RuntimeState.freshvar_args()
    • RuntimeState.generate_values()
    • RuntimeState.get_binding()
    • RuntimeState.get_freevar()
    • RuntimeState.get_generator()
    • RuntimeState.grp_id()
    • RuntimeState.guard()
    • RuntimeState.guard_args()
    • RuntimeState.guard_held()
    • RuntimeState.has_binding()
    • RuntimeState.has_generator()
    • RuntimeState.in_recursive_call
    • RuntimeState.instantiate()
    • RuntimeState.is_builtin_type()
    • RuntimeState.is_io()
    • RuntimeState.is_narrowed()
    • RuntimeState.is_nondet()
    • RuntimeState.is_void()
    • RuntimeState.lift_constraint()
    • RuntimeState.make_value()
    • RuntimeState.make_value_bindings()
    • RuntimeState.obj_id()
    • RuntimeState.overflow()
    • RuntimeState.owns_decision()
    • RuntimeState.pop_queue()
    • RuntimeState.pull_tab()
    • RuntimeState.push_queue()
    • RuntimeState.qid
    • RuntimeState.queue_scope()
    • RuntimeState.raise_deferred_error()
    • RuntimeState.read_fp()
    • RuntimeState.ready()
    • RuntimeState.record_failure()
    • RuntimeState.register_freevar()
    • RuntimeState.register_freevars()
    • RuntimeState.release_value()
    • RuntimeState.restart()
    • RuntimeState.rotate()
    • RuntimeState.scheduler_counters()
    • RuntimeState.set_goal()
    • RuntimeState.setfunctions
    • RuntimeState.sid
    • RuntimeState.single_step()
    • RuntimeState.split_queue()
    • RuntimeState.steps_total
    • RuntimeState.suspend()
    • RuntimeState.unwind()
    • RuntimeState.update_binding()
    • RuntimeState.update_escape_set()
    • RuntimeState.update_escape_sets()
    • RuntimeState.update_fp()
    • RuntimeState.variable()
    • RuntimeState.walk_qstack()
• curry.backends.py.eval.rts_bindings module
  • add_binding()
  • apply_binding()
  • get_binding()
  • has_binding()
  • make_value_bindings()
  • update_binding()
• curry.backends.py.eval.rts_constraints module
  • constrain_equal()
  • constraint_type()
  • lift_constraint()
  • occurs()
• curry.backends.py.eval.rts_control module
  • append()
  • catch_control()
  • count_step()
  • drop()
  • extend()
  • is_io()
  • make_value()
  • overflow()
  • raise_deferred_error()
  • ready()
  • release_value()
  • restart()
  • rotate()
  • suspend()
  • unwind()
• curry.backends.py.eval.rts_fingerprint module
  • equate_fp()
  • grp_id()
  • obj_id()
  • read_fp()
  • update_fp()
• curry.backends.py.eval.rts_freevars module
  • clone_generator()
  • freshvar()
  • freshvar_args()
  • get_freevar()
  • get_generator()
  • has_generator()
  • instantiate()
  • is_narrowed()
  • is_nondet()
  • is_void()
  • register_freevar()
  • register_freevars()
• curry.backends.py.eval.rts_setfunctions module
  • SetFunctionEval
  • choice_escapes()
  • clone_queue()
  • create_queue()
  • create_setfunction()
  • failure_level()
  • guard()
  • guard_args()
  • guard_held()
  • in_recursive_call()
  • owns_decision()
  • pop_queue()
  • push_queue()
  • qid()
  • queue_scope()
  • record_failure()
  • sid()
  • split_queue()
  • update_escape_set()
  • walk_qstack()