smtrat::parser::SExpressionSequence< T > Struct Template Reference

#include <Common.h>

Inheritance diagram for smtrat::parser::SExpressionSequence< T >:

Collaboration diagram for smtrat::parser::SExpressionSequence< T >:

Public Member Functions
	SExpressionSequence (const std::vector< SExpression< T >> &v)
	SExpressionSequence (std::vector< SExpression< T >> &&v)

Data Fields
T	elements
	STL member. More...

Detailed Description

template<typename T>
struct smtrat::parser::SExpressionSequence< T >

Definition at line 81 of file Common.h.

Constructor & Destructor Documentation

SExpressionSequence() [1/2]

template<typename T >

smtrat::parser::SExpressionSequence< T >::SExpressionSequence ( const std::vector< SExpression< T >> &  v )

inline

Definition at line 82 of file Common.h.

SExpressionSequence() [2/2]

template<typename T >

smtrat::parser::SExpressionSequence< T >::SExpressionSequence ( std::vector< SExpression< T >> &&  v )

inline

Definition at line 83 of file Common.h.

Field Documentation

elements

T std::vector< T >::elements

inherited

STL member.

---

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

• cli/parser/theories/Common.h