![]() |
GiNaCRA
0.6.4
|
Go to the source code of this file.
Data Structures | |
| struct | GiNaCRA::SampleList |
| Type for a sorted list of RealAlgebraicNumberPtr. More... | |
| struct | GiNaCRA::CADSettings |
| Settings for the CAD class. More... | |
| struct | GiNaCRA::isLessInLiftingPositions |
| Functor comparing two positions of a vector of univariate polynomials. More... | |
| class | GiNaCRA::CAD |
| A collection of methods that lead directly to the computation of the CAD. More... | |
Namespaces | |
| namespace | GiNaCRA |
| Implementation of the class Constraint. | |
Typedefs | |
| typedef std::unordered_map < RealAlgebraicNumberPtr, RealAlgebraicNumberPtr, RealAlgebraicNumberPtrHasher > | GiNaCRA::SampleSimplification |
Definition in file CAD.h.