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; }