private Z3ImpliedValueAssumption CreateImpliedValueAssumption(Term variableTerm, Term impliedTerm)
{
//Assert and create reference object
Z3ImpliedValueAssumption assumption = new Z3ImpliedValueAssumption(variableTerm, impliedTerm);
return assumption;
}
private void AssertImpliedValueAssumption(Z3ImpliedValueAssumption assumption)
{
Term implies = _context.MkImplies(assumption.ImplierTerm, assumption.ImpliedTerm);
_context.AssertCnstr(implies);
}
