libqalculate/Variable.h File Reference

#include <libqalculate/ExpressionItem.h>
#include <libqalculate/includes.h>

Classes

class  Assumptions
 An assumption about an unknown mathematical value. More...
class  Variable
 Abstract base class for variables. More...
class  UnknownVariable
 A variable with unknown value. More...
class  KnownVariable
 A variable with a known value. More...
class  DynamicVariable
 Abstract base class for variables with a value which is recalculated when the precision has changed. More...

Defines

#define DECLARE_BUILTIN_VARIABLE(x)

Enumerations

enum  AssumptionType {
  ASSUMPTION_TYPE_NONE = 0, ASSUMPTION_TYPE_NONMATRIX = 1, ASSUMPTION_TYPE_NUMBER = 2, ASSUMPTION_TYPE_COMPLEX = 3,
  ASSUMPTION_TYPE_REAL = 4, ASSUMPTION_TYPE_RATIONAL = 5, ASSUMPTION_TYPE_INTEGER = 6
}
 Type assumption. More...
enum  AssumptionSign {
  ASSUMPTION_SIGN_UNKNOWN, ASSUMPTION_SIGN_POSITIVE, ASSUMPTION_SIGN_NONNEGATIVE, ASSUMPTION_SIGN_NEGATIVE,
  ASSUMPTION_SIGN_NONPOSITIVE, ASSUMPTION_SIGN_NONZERO
}
 Signedness assumption. More...
enum  VariableSubtype { SUBTYPE_VARIABLE, SUBTYPE_UNKNOWN_VARIABLE, SUBTYPE_KNOWN_VARIABLE }
 Type of variable. More...

Detailed Description


Define Documentation

#define DECLARE_BUILTIN_VARIABLE (  ) 

Value:

class x : public DynamicVariable { \
                                          private: \
                                                void calculate() const; \
                                          public: \
                                                x(); \
                                                x(const x *variable) {set(variable);} \
                                                ExpressionItem *copy() const {return new x(this);} \
                                        };


Enumeration Type Documentation

Signedness assumption.

Enumerator:
ASSUMPTION_SIGN_UNKNOWN  x = ?
ASSUMPTION_SIGN_POSITIVE  x > 0
ASSUMPTION_SIGN_NONNEGATIVE  x >= 0
ASSUMPTION_SIGN_NEGATIVE  x < 0
ASSUMPTION_SIGN_NONPOSITIVE  x <= 0
ASSUMPTION_SIGN_NONZERO  x != 0

Type assumption.

Each type is a subset of the type above.

Enumerator:
ASSUMPTION_TYPE_NONMATRIX  Multiplication is NOT commutative.
ASSUMPTION_TYPE_COMPLEX  im(x) != 0

Type of variable.

Enumerator:
SUBTYPE_VARIABLE  class Variable
SUBTYPE_UNKNOWN_VARIABLE  class UnknownVariable
SUBTYPE_KNOWN_VARIABLE  class KnownVariable


Generated on Tue Jan 5 08:26:29 2010 for libqalculate-0.9.7 by  doxygen 1.5.5