Public Member Functions | Protected Attributes | List of all members
Assumptions Class Reference

An assumption about an unknown mathematical value. More...

#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 Numbermin () const
void setMax (const Number *nmax)
void setIncludeEqualsMax (bool include_equals)
bool includeEqualsMax () const
const Numbermax () const

Protected Attributes

AssumptionType i_type
AssumptionSign i_sign
bool b_incl_min
bool b_incl_max

Detailed Description

An assumption about an unknown mathematical value.

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.

The documentation for this class was generated from the following file: