// Updates the Model (M) such that
// l has the truth value v in M
private UpdateInfo Make(LogicalForm l, TruthValue.T v)
{
if (l.IsClosed() && l.IsFormula())
{
return(UpdateInfo.NoChange);
}
return(l.Make(this, v));
}
public override UpdateInfo Make(Model m, TruthValue.T v)
{
return(sub.Make(m, Negate(v)));
}
