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