public StepResult(Step step,
CoreTSystem tsystem,
Map <string, Term> valueParams,
StepResultMap resultMap,
CancellationToken cancel)
{
Contract.Requires(resultMap != null);
Contract.Requires(valueParams != null);
Contract.Requires(step != null);
Contract.Requires(tsystem != null);
this.step = step;
this.tsystem = tsystem;
this.cancel = cancel;
this.resultMap = resultMap;
this.valueParams = valueParams;
}
/// <summary>
/// A dummy step that completes only after all the steps of a system are completed.
/// </summary>
public StepResult(StepResultMap resultMap)
{
Contract.Requires(resultMap != null);
this.resultMap = resultMap;
}