carl::io::detail::SMTLIBScriptContainer< Pol > Struct Template Reference
Shorthand to allow writing SMTLIB scripts in one line. More...
#include <SMTLIBStream.h>
Collaboration diagram for carl::io::detail::SMTLIBScriptContainer< Pol >:
Public Member Functions | |
| SMTLIBScriptContainer (Logic l, std::initializer_list< Formula< Pol >> f, bool getModel=false) | |
| SMTLIBScriptContainer (Logic l, std::initializer_list< Formula< Pol >> f, const Pol &objective, bool getModel=false) | |
Data Fields | |
| Logic | mLogic |
| std::initializer_list< Formula< Pol > > | mFormulas |
| bool | mGetModel |
| Pol | mObjective |
Detailed Description
template<typename Pol>
struct carl::io::detail::SMTLIBScriptContainer< Pol >
Shorthand to allow writing SMTLIB scripts in one line.
Definition at line 486 of file SMTLIBStream.h.
Constructor & Destructor Documentation
◆ SMTLIBScriptContainer() [1/2]
template<typename Pol >
|
inline |
Definition at line 491 of file SMTLIBStream.h.
◆ SMTLIBScriptContainer() [2/2]
template<typename Pol >
|
inline |
Definition at line 492 of file SMTLIBStream.h.
Field Documentation
◆ mFormulas
template<typename Pol >
| std::initializer_list<Formula<Pol> > carl::io::detail::SMTLIBScriptContainer< Pol >::mFormulas |
Definition at line 488 of file SMTLIBStream.h.
◆ mGetModel
template<typename Pol >
| bool carl::io::detail::SMTLIBScriptContainer< Pol >::mGetModel |
Definition at line 489 of file SMTLIBStream.h.
◆ mLogic
template<typename Pol >
| Logic carl::io::detail::SMTLIBScriptContainer< Pol >::mLogic |
Definition at line 487 of file SMTLIBStream.h.
◆ mObjective
template<typename Pol >
| Pol carl::io::detail::SMTLIBScriptContainer< Pol >::mObjective |
Definition at line 490 of file SMTLIBStream.h.
The documentation for this struct was generated from the following file:
- carl-io/SMTLIBStream.h
