dlinear  0.0.1
Delta-complete SMT solver for linear programming
Loading...
Searching...
No Matches
dlinear::NumericDataContainer< N, D > Struct Template Reference

NumericDataContainer class. More...

#include <NumericDataContainer.hpp>

Detailed Description

template<Numeric N, std::default_initializable D>
struct dlinear::NumericDataContainer< N, D >

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.

Template Parameters
Nnumeric type used for comparison and arithmetic operations
Dgeneric data type

Definition at line 31 of file NumericDataContainer.hpp.


The documentation for this struct was generated from the following file: