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
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.