#include <Variable.h>
Public Member Functions | |
| bool | isPositive () |
| bool | isNegative () |
| bool | isNonNegative () |
| bool | isNonPositive () |
| bool | isInteger () |
| bool | isNumber () |
| bool | isRational () |
| bool | isReal () |
| bool | isComplex () |
| bool | isNonZero () |
| bool | isNonMatrix () |
| AssumptionType | type () |
| AssumptionSign | sign () |
| void | setType (AssumptionType ant) |
| void | setSign (AssumptionSign as) |
| void | setMin (const Number *nmin) |
| void | setIncludeEqualsMin (bool include_equals) |
| bool | includeEqualsMin () const |
| const Number * | min () const |
| void | setMax (const Number *nmax) |
| void | setIncludeEqualsMax (bool include_equals) |
| bool | includeEqualsMax () const |
| const Number * | max () const |
Protected Attributes | |
| AssumptionType | i_type |
| AssumptionSign | i_sign |
| Number * | fmin |
| Number * | fmax |
| bool | b_incl_min |
| bool | b_incl_max |
Assumptions have a type and a sign. The type describes the type of the value -- if it represents a number or something else, and what type of number is represented. The sign restricts the signedness of a number. The sign generally only applies the assumptions representing a number. The assumption class also includes max and min values, which however are not used anywhere yet.
1.4.3