int 
Trace_execute_partial_trace(
  const Trace_ptr  trace, 
  const PartialTraceExecutor_ptr  executor, 
  const NodeList_ptr  language 
)
Partial trace re-execution and fill-in. Tries to complete the given trace using the given incomplete trace executor. If successful, a complete trace is registered into the Trace Manager. 0 is returned if trace could be succesfully completed. 1 is returned otherwise

Side Effects None

Defined in traceExec.c

int 
Trace_execute_trace(
  const Trace_ptr  trace, 
  const CompleteTraceExecutor_ptr  executor 
)
Complete trace re-execution. In order to be run, the trace must be complete w.r.t. master fsm language. Returns 0 if a trace is executed successfully, and 1 otherwise.

Side Effects None

Defined in traceExec.c

Last updated on 2012/11/18 14h:37