dlinear
0.0.1
Delta-complete SMT solver for linear programming
|
NumericDataContainer class. More...
#include <NumericDataContainer.hpp>
NumericDataContainer class.
Simple class that holds a numeric value and a data value. It is used to take advantage of the strong ordering and equality operators of the numeric value, as well as the arithmetic operators, while still being able to store additional data.
N | numeric type used for comparison and arithmetic operations |
D | generic data type |
Definition at line 31 of file NumericDataContainer.hpp.