private static Interpretation TranslateInterpretation(Expr interprExpr)
{
if (interprExpr.IsBool && interprExpr.BoolValue != Z3_lbool.Z3_L_UNDEF)
{
bool value = (interprExpr.BoolValue == Z3_lbool.Z3_L_TRUE);
return(ExpressionFactory.BoolInterpretation(value));
}
else if (interprExpr.IsIntNum)
{
var intNum = (IntNum)interprExpr;
return(ExpressionFactory.IntInterpretation(intNum.Int64));
}
else
{
return(null);
}
}
public BoolHandle(bool value)
{
this.expression = ExpressionFactory.BoolInterpretation(value);
}