private Z3ValueAssumption CreateValueAssumption(Term variableTerm, VariableDataTypes dataType, object value)
{
//Terms
Term newValue = CreateValueTerm(dataType, value);
Term equals = _context.MkEq(variableTerm, newValue);
//Assert and create reference object
Z3ValueAssumption assumption = new Z3ValueAssumption(variableTerm, newValue);
return assumption;
}
private void AssertValueAssumption(Z3ValueAssumption assumption)
{
Term equals = _context.MkEq(assumption.VariableTerm, assumption.ValueTerm);
_context.AssertCnstr(equals);
}
