|
|
delpi
0.0.1
DElta-complete LP solver
|
| Ndelpi | Global namespace for the delpi library |
| Nhash | Namespace containing all the hash functions and utilities |
| Chash_value | Computes the hash value of v using std::hash |
| Chash_value< std::pair< T1, T2 > > | Computes the hash value of a pair p |
| Chash_value< std::vector< T > > | Computes the hash value of a vector vec |
| Chash_value< std::set< T > > | Computes the hash value of a set s |
| Chash_value< std::map< T1, T2 > > | Computes the hash value of a map |
| Nqsopt_ex | Namespace containing all the utility functions to interact with the QSopt_ex solver |
| CMpqArray | A wrapper around an array of mpq_t elements |
| CArgParser | Used to parse command line arguments and produce a corresponding Config object to be used throughout the execution |
| CBufferLineSource | A class that provides a source for lines of text buffered in memory |
| CColumn | Convenient structure representing a column in the LP solver |
| CConfig | Simple dataclass used to store the configuration of the program |
| CDelpiAssertionException | Exception for assertion failures |
| CDelpiException | Base class for all exceptions in delpi |
| CDelpiInvalidArgumentException | Exception for invalid arguments |
| CDelpiLpSolver | Linear programming solver using a custom implementation of the Simplex algorithm |
| CDelpiLpSolverException | Exception in the LP solver |
| CDelpiNotImplementedException | Exception for not yet implemented features |
| CDelpiNotSupportedException | Exception for not supported features |
| CDelpiOutOfRangeException | Exception for out of range errors |
| CDelpiParserException | Exception for parser errors |
| CDelpiUnreachableException | Exception for unreachable code |
| CDriver | The Driver is the base class for all the parsers |
| CExpression | Represents a symbolic form of an expression |
| CExpressionCell | Symbolic expression representing an addition between linear monomials |
| CFormula | Symbolic formula used to represent a constraint in the LP problem |
| Cintrusive_ptr | Pointer to a generic object that supports intrusive reference counting |
| CIterationStats | Dataclass collecting statistics about some operation or process |
| CLineScanner | LineScanner takes care of parsing the MPS file line by line, keeping an internal state and invoking the correct method of the MpsDriver |
| CLpSolver | Facade class that hides the underlying LP solver used by delpi |
| CLpStats | Collection of statistics for the LP solver |
| CMappedFileSource | A memory-mapped file source for efficiently reading files line by line |
| COptionValue | Represents an optional value in dLinear |
| CQsoptexLpSolver | Linear programming solver using QSopt_ex |
| CRow | Structure representing a row in the LP solver in the form of a linear combination of variables |
| CSelfReferenceCountingObject | Utility class to be inherited from to obtain compatibility with the intrusive_ptr |
| CSolveConfiguration | |
| CSoplexLpSolver | Linear programming solver using SoPlex |
| CStats | Dataclass collecting statistics about some operation or process |
| CTimer | Timer class using the a steady clock |
| CTimerBase | Simple timer class to evaluate the performance of the software |
| CTimerGuard | The TimeGuard wraps a timer object and pauses it when the guard object is destructed |
| Cuser_clock | Structure that will hold the user clock data |
| CUserTimer | Timer class using the user_clock |
| CVariable | Real symbolic variable |
| CVariableMap | Map from variables to an arbitrary type T optimised for fast access at the cost of memory |
| CVariableSet | Set of variables optimised for fast access at the cost of memory |
| NEigen | |
| Ninternal | |
| Ccast_impl< mpq_class, double > | |
| CNumTraits< mpq_class > | |
| Nstd | STL namespace |
| Cequal_to< delpi::Expression > | |
| Cequal_to< delpi::Variable > | |
| Chash< delpi::Expression > | |
| Chash< delpi::Variable > | |
| Chash< mpq_class > | |
| Cless< delpi::Expression > | |
| Cless< delpi::Variable > |