curry.backends.generic.eval package

Submodules

• curry.backends.generic.eval.control module
  • E_DIVERGE
  • E_RESIDUAL
  • E_STEPLIMIT
  • E_TERMINATE
  • E_UNWIND
  • RuntimeFlowException
• curry.backends.generic.eval.evaluator module
  • EvaluationTotals
    • EvaluationTotals.add()
    • EvaluationTotals.forks
    • EvaluationTotals.scheduler
    • EvaluationTotals.steps
    • EvaluationTotals.track()
  • Evaluator
    • Evaluator.evaluate()
    • Evaluator.set_global_step_limit()
  • evaluate()
  • merge_counters()
  • single_step()
• curry.backends.generic.eval.stepcounter module
  • StepCounter
    • StepCounter.count
    • StepCounter.global_count
    • StepCounter.global_limit
    • StepCounter.increment()
    • StepCounter.limit
    • StepCounter.reset()
    • StepCounter.reset_global()
• curry.backends.generic.eval.telemetry module
  • TelemetryData
    • TelemetryData.ATTRS
    • TelemetryData.P_GET_COUNT
    • TelemetryData.capture()
    • TelemetryData.copy_spine
    • TelemetryData.entries_to_D
    • TelemetryData.entries_to_N
    • TelemetryData.entries_to_S
    • TelemetryData.entries_to_hnf
    • TelemetryData.forks
    • TelemetryData.iterations_in_D
    • TelemetryData.iterations_in_hnf
    • TelemetryData.next_cid
    • TelemetryData.next_sid
    • TelemetryData.num_values
    • TelemetryData.number_of_queues
    • TelemetryData.pull_tab_steps
    • TelemetryData.queue_stack_depth
    • TelemetryData.report()
    • TelemetryData.rewrite_steps
    • TelemetryData.sftable_size
    • TelemetryData.show()
    • TelemetryData.top_eqconstr
    • TelemetryData.vtable_size
  • report_telemetry()
• curry.backends.generic.eval.trace module
  • Trace
    • Trace.activate_queue()
    • Trace.dedent()
    • Trace.enter_rewrite()
    • Trace.exit_rewrite()
    • Trace.failed()
    • Trace.fork()
    • Trace.indent()
    • Trace.position()
    • Trace.yield_()
  • activate_queue()
  • enter_rewrite()
  • exit_rewrite()
  • expr_id()
  • failed()
  • fork()
  • position()
  • show_queue()
  • trace_steps()
  • trace_values()
  • yield_()