smtrat::parser::Attribute Class Reference

Represents an Attribute. More...

#include <Attribute.h>

Collaboration diagram for smtrat::parser::Attribute:

Public Types
using	AttributeValue = types::AttributeValue

Public Member Functions
	Attribute ()
	Attribute (const std::string &key)
	Attribute (const std::string &key, const AttributeValue &value)
	Attribute (const std::string &key, const boost::optional< AttributeValue > &value)
bool	hasValue () const
void	simplify ()

Data Fields
std::string	key
AttributeValue	value

Detailed Description

Represents an Attribute.

Definition at line 14 of file Attribute.h.

Member Typedef Documentation

AttributeValue

using smtrat::parser::Attribute::AttributeValue = types::AttributeValue

Definition at line 16 of file Attribute.h.

Constructor & Destructor Documentation

Attribute() [1/4]

smtrat::parser::Attribute::Attribute ( )

inline

Definition at line 20 of file Attribute.h.

Attribute() [2/4]

smtrat::parser::Attribute::Attribute ( const std::string &  key )

inlineexplicit

Definition at line 21 of file Attribute.h.

Attribute() [3/4]

smtrat::parser::Attribute::Attribute ( const std::string &  key, const AttributeValue &  value  )

inline

Definition at line 22 of file Attribute.h.

Here is the call graph for this function:

Attribute() [4/4]

smtrat::parser::Attribute::Attribute ( const std::string &  key, const boost::optional< AttributeValue > &  value  )

inline

Definition at line 25 of file Attribute.h.

Here is the call graph for this function:

Member Function Documentation

hasValue()

bool smtrat::parser::Attribute::hasValue ( ) const

inline

Definition at line 31 of file Attribute.h.

Here is the caller graph for this function:

simplify()

void smtrat::parser::Attribute::simplify ( )

inline

Definition at line 34 of file Attribute.h.

Here is the caller graph for this function:

Field Documentation

key

std::string smtrat::parser::Attribute::key

Definition at line 17 of file Attribute.h.

value

AttributeValue smtrat::parser::Attribute::value

Definition at line 18 of file Attribute.h.

---

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

• cli/parser/theories/Attribute.h