-
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 15h:56