smtrat::parser::Identifier Struct Reference

#include <Common.h>

Collaboration diagram for smtrat::parser::Identifier:

Public Member Functions
	Identifier ()
	Identifier (const std::string &symbol)
	Identifier (const std::string &symbol, const std::vector< std::size_t > &indices)
	Identifier (const std::string &symbol, const std::vector< Integer > &indices)
Identifier &	operator= (const Identifier &i)
	Identifier (const Identifier &i)
	~Identifier ()
	operator std::string () const

Data Fields
std::string	symbol
std::vector< std::size_t > *	indices

Detailed Description

Definition at line 36 of file Common.h.

Constructor & Destructor Documentation

Identifier() [1/5]

smtrat::parser::Identifier::Identifier ( )

inline

Definition at line 39 of file Common.h.

Identifier() [2/5]

smtrat::parser::Identifier::Identifier ( const std::string &  symbol )

inline

Definition at line 40 of file Common.h.

Identifier() [3/5]

smtrat::parser::Identifier::Identifier ( const std::string &  symbol, const std::vector< std::size_t > &  indices  )

inline

Definition at line 41 of file Common.h.

Identifier() [4/5]

smtrat::parser::Identifier::Identifier ( const std::string &  symbol, const std::vector< Integer > &  indices  )

inline

Definition at line 42 of file Common.h.

Identifier() [5/5]

smtrat::parser::Identifier::Identifier ( const Identifier &  i )

inline

Definition at line 54 of file Common.h.

~Identifier()

smtrat::parser::Identifier::~Identifier ( )

inline

Definition at line 59 of file Common.h.

Member Function Documentation

operator std::string()

smtrat::parser::Identifier::operator std::string ( ) const

inline

Definition at line 62 of file Common.h.

operator=()

Identifier& smtrat::parser::Identifier::operator= ( const Identifier &  i )

inline

Definition at line 47 of file Common.h.

Field Documentation

indices

std::vector<std::size_t>* smtrat::parser::Identifier::indices

Definition at line 38 of file Common.h.

symbol

std::string smtrat::parser::Identifier::symbol

Definition at line 37 of file Common.h.

---

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

• cli/parser/theories/Common.h