carl::io::OPBParser Struct Reference

Inheritance diagram for carl::io::OPBParser:

Collaboration diagram for carl::io::OPBParser:

Public Member Functions
	OPBParser ()
std::optional< OPBFile >	parse (std::istream &in)

Private Member Functions
Variable	addVariable (const std::string &s)
OPBFile	createFile (const OPBPolynomial &obj, const std::vector< OPBConstraint > &constraints)

Private Attributes
qi::symbols< char, Relation >	mRelation
qi::symbols< char, Variable >	mVariables
qi::rule< Iterator, std::string(), Skipper >	mVarname
qi::rule< Iterator, Variable(), Skipper >	mNewVarWrapper
qi::rule< Iterator, std::pair< int, Variable >), Skipper >	mTerm
qi::rule< Iterator, OPBPolynomial(), Skipper >	mPolynomial
qi::rule< Iterator, OPBConstraint(), Skipper >	mConstraint
qi::rule< Iterator, OPBPolynomial(), Skipper >	mObjective
qi::rule< Iterator, OPBFile(), Skipper >	mMain
px::function< ErrorHandler >	errorHandler

Detailed Description

Definition at line 33 of file OPBImporter.cpp.

Constructor & Destructor Documentation

OPBParser()

carl::io::OPBParser::OPBParser ( )

inline

Definition at line 34 of file OPBImporter.cpp.

Here is the call graph for this function:

Member Function Documentation

addVariable()

Variable carl::io::OPBParser::addVariable ( const std::string &  s )

inlineprivate

Definition at line 74 of file OPBImporter.cpp.

Here is the call graph for this function:

Here is the caller graph for this function:

createFile()

OPBFile carl::io::OPBParser::createFile ( const OPBPolynomial &  obj, const std::vector< OPBConstraint > &  constraints  )

inlineprivate

Definition at line 79 of file OPBImporter.cpp.

Here is the caller graph for this function:

parse()

std::optional<OPBFile> carl::io::OPBParser::parse ( std::istream &  in )

inline

Definition at line 52 of file OPBImporter.cpp.

Here is the caller graph for this function:

Field Documentation

errorHandler

px::function<ErrorHandler> carl::io::OPBParser::errorHandler

private

Definition at line 92 of file OPBImporter.cpp.

mConstraint

qi::rule<Iterator, OPBConstraint(), Skipper> carl::io::OPBParser::mConstraint

private

Definition at line 89 of file OPBImporter.cpp.

mMain

qi::rule<Iterator, OPBFile(), Skipper> carl::io::OPBParser::mMain

private

Definition at line 91 of file OPBImporter.cpp.

mNewVarWrapper

qi::rule<Iterator, Variable(), Skipper> carl::io::OPBParser::mNewVarWrapper

private

Definition at line 86 of file OPBImporter.cpp.

mObjective

qi::rule<Iterator, OPBPolynomial(), Skipper> carl::io::OPBParser::mObjective

private

Definition at line 90 of file OPBImporter.cpp.

mPolynomial

qi::rule<Iterator, OPBPolynomial(), Skipper> carl::io::OPBParser::mPolynomial

private

Definition at line 88 of file OPBImporter.cpp.

mRelation

qi::symbols<char, Relation> carl::io::OPBParser::mRelation

private

Definition at line 83 of file OPBImporter.cpp.

mTerm

qi::rule<Iterator, std::pair<int,Variable>), Skipper> carl::io::OPBParser::mTerm

private

Definition at line 87 of file OPBImporter.cpp.

mVariables

qi::symbols<char, Variable> carl::io::OPBParser::mVariables

private

Definition at line 84 of file OPBImporter.cpp.

mVarname

qi::rule<Iterator, std::string(), Skipper> carl::io::OPBParser::mVarname

private

Definition at line 85 of file OPBImporter.cpp.

---

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

• carl-io/OPBImporter.cpp