public StepResultMap(CoreTSystem tsys)
{
Contract.Requires(tsys != null);
foreach (var kv in tsys.ModelVariables)
{
indices.Add(
kv.Key,
new Tuple <TermIndex, Mutex>(
new TermIndex(((ModuleData)(((Domain)kv.Value.Item2.AST.Node).CompilerData)).SymbolTable),
new Mutex(false)));
}
}
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;
}
