GiNaCRA  0.6.4
Constraint.h File Reference

Go to the source code of this file.

Data Structures

class  GiNaCRA::Constraint
 A class representing a condition on a Constraint as to whether its sign is negative (GiNaCRA::NEGATIVE_SIGN), positive (GiNaCRA::POSITVIE_SIGN) or zero (GiNaCRA::ZERO_SIGN). More...

Namespaces

namespace  GiNaCRA
 Implementation of the class Constraint.