Type representing boolean expressions
This functionality does not run in MATLAB.
Type::Boolean represents logical formulas.
Boolean expressions are all of the following objects: the Boolean constants TRUE, FALSE, and UNKNOWN; identifiers; equations and inqualities; expressions with operator and, or, not, xor, _implies, _equiv if each operand is a Boolean expression; or results returned by solvelib::isEmpty.
Identifiers and boolean constants are Boolean expressions:
testtype(TRUE, Type::Boolean), testtype(a, Type::Boolean)
In order that an expression be Boolean, it is not sufficient that only its operator is a logical operator; also its operands must be Boolean expressions.
testtype(a >= 3 and b, Type::Boolean); testtype(a+b and c, Type::Boolean)