specification_basic_type::enumeratedtype Class Reference

Public Member Functions
	enumeratedtype (const std::size_t n, specification_basic_type &spec)
	enumeratedtype (const enumeratedtype &e)
enumeratedtype &	operator= (const enumeratedtype &e)=default
	~enumeratedtype ()=default
	enumeratedtype (const std::size_t n, specification_basic_type &spec)
	enumeratedtype (const enumeratedtype &e)
enumeratedtype &	operator= (const enumeratedtype &e)=default
	~enumeratedtype ()=default

Public Attributes
std::size_t	size
sort_expression	sortId
data_expression_list	elementnames
function_symbol_list	functions

Detailed Description

Definition at line 5355 of file linearise.cpp.

Constructor & Destructor Documentation

enumeratedtype() [1/4]

specification_basic_type::enumeratedtype::enumeratedtype ( const std::size_t  n, specification_basic_type &  spec  )

inline

Definition at line 5363 of file linearise.cpp.

enumeratedtype() [2/4]

specification_basic_type::enumeratedtype::enumeratedtype ( const enumeratedtype &  e )

inline

Definition at line 5401 of file linearise.cpp.

~enumeratedtype() [1/2]

specification_basic_type::enumeratedtype::~enumeratedtype ( )

default

enumeratedtype() [3/4]

specification_basic_type::enumeratedtype::enumeratedtype ( const std::size_t  n, specification_basic_type &  spec  )

inline

Definition at line 5363 of file linearise.cpp.

enumeratedtype() [4/4]

specification_basic_type::enumeratedtype::enumeratedtype ( const enumeratedtype &  e )

inline

Definition at line 5401 of file linearise.cpp.

~enumeratedtype() [2/2]

specification_basic_type::enumeratedtype::~enumeratedtype ( )

default

Member Function Documentation

operator=() [1/2]

enumeratedtype & specification_basic_type::enumeratedtype::operator= ( const enumeratedtype &  e )

default

operator=() [2/2]

enumeratedtype & specification_basic_type::enumeratedtype::operator= ( const enumeratedtype &  e )

default

Member Data Documentation

elementnames

data_expression_list specification_basic_type::enumeratedtype::elementnames

Definition at line 5360 of file linearise.cpp.

functions

function_symbol_list specification_basic_type::enumeratedtype::functions

Definition at line 5361 of file linearise.cpp.

size

std::size_t specification_basic_type::enumeratedtype::size

Definition at line 5358 of file linearise.cpp.

sortId

sort_expression specification_basic_type::enumeratedtype::sortId

Definition at line 5359 of file linearise.cpp.

---

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

• lps/source/linearise.cpp