carl::io::detail::SMTLIBOutputContainer< Args > Struct Template Reference

#include <SMTLIBStream.h>

Public Member Functions
	SMTLIBOutputContainer (Args &&... args)

Data Fields
std::tuple< Args... >	mData

Detailed Description

template<typename... Args>
struct carl::io::detail::SMTLIBOutputContainer< Args >

Definition at line 512 of file SMTLIBStream.h.

Constructor & Destructor Documentation

SMTLIBOutputContainer()

template<typename... Args>

carl::io::detail::SMTLIBOutputContainer< Args >::SMTLIBOutputContainer ( Args &&...  args )

inlineexplicit

Definition at line 514 of file SMTLIBStream.h.

Field Documentation

mData

template<typename... Args>

std::tuple<Args...> carl::io::detail::SMTLIBOutputContainer< Args >::mData

Definition at line 513 of file SMTLIBStream.h.

---

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

• carl-io/SMTLIBStream.h