GiNaCRA
0.6.4
|
Go to the source code of this file.
Data Structures | |
class | GiNaCRA::MultivariateMonomialMR |
A class for a multivariate monomial providing a degree-based representation. More... | |
Namespaces | |
namespace | GiNaCRA |
Implementation of the class Constraint. | |
Typedefs | |
typedef std::pair< unsigned, unsigned > | GiNaCRA::pui |
typedef std::vector< pui > ::const_iterator | GiNaCRA::vui_cIt |