private ModelFact MkFact(bool isBound, Span span) { Contract.Requires(isBound ? argStack.Count > 1 : argStack.Count >= 1); var match = argStack.Pop(); var binding = isBound ? (Id)argStack.Pop() : null; var mf = new ModelFact(span, binding, match); if (crntSentConf != null) { mf.SetConfig(crntSentConf); crntSentConf = null; } return(mf); }
private void AppendFact(ModelFact p) { Contract.Requires(currentModule is Model); ((Model)currentModule).AddFact(p); }