trace_evaluate_define()
Evaluates a define in a given environment
trace_evaluate_expr_recur()
Evaluates a define in a given environment
trace_make_failure()
Private service of trace_evaluate_expr_recur
trace_simplify_expr()
Simplifies an expression using core simplifier and MathSAT
trace_step_evaluate_defines()
Evaluates defines for a trace

Last updated on 2010/05/19 22h:26