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

Represents a constant of a fixed width. More...

#include <TheoryTypes.h>

Public Member Functions
	FixedWidthConstant ()
	FixedWidthConstant (const T &value, std::size_t width)
bool	operator< (const FixedWidthConstant &fwc) const

Data Fields
T	value
std::size_t	width

Detailed Description

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

Represents a constant of a fixed width.

Definition at line 38 of file TheoryTypes.h.

Constructor & Destructor Documentation

FixedWidthConstant() [1/2]

template<typename T >

smtrat::parser::FixedWidthConstant< T >::FixedWidthConstant ( )

inline

Definition at line 41 of file TheoryTypes.h.

FixedWidthConstant() [2/2]

template<typename T >

smtrat::parser::FixedWidthConstant< T >::FixedWidthConstant ( const T &  value, std::size_t  width  )

inline

Definition at line 42 of file TheoryTypes.h.

Member Function Documentation

operator<()

template<typename T >

bool smtrat::parser::FixedWidthConstant< T >::operator< ( const FixedWidthConstant< T > &  fwc ) const

inline

Definition at line 43 of file TheoryTypes.h.

Field Documentation

value

template<typename T >

T smtrat::parser::FixedWidthConstant< T >::value

Definition at line 39 of file TheoryTypes.h.

width

template<typename T >

std::size_t smtrat::parser::FixedWidthConstant< T >::width

Definition at line 40 of file TheoryTypes.h.

---

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

• cli/parser/theories/TheoryTypes.h