GiNaCRA
0.6.4
|
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. |