carl
24.04
Computer ARithmetic Library
|
#include <OPBImporter.h>
Public Member Functions | |
OPBFile ()=default | |
OPBFile (OPBPolynomial obj) | |
OPBFile (OPBPolynomial obj, std::vector< OPBConstraint > cons) | |
Data Fields | |
OPBPolynomial | objective |
std::vector< OPBConstraint > | constraints |
Definition at line 19 of file OPBImporter.h.
|
default |
|
inlineexplicit |
Definition at line 24 of file OPBImporter.h.
|
inline |
Definition at line 25 of file OPBImporter.h.
std::vector<OPBConstraint> carl::io::OPBFile::constraints |
Definition at line 21 of file OPBImporter.h.
OPBPolynomial carl::io::OPBFile::objective |
Definition at line 20 of file OPBImporter.h.