specification_basic_type::enumeratedtype Class Reference

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

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

Detailed Description

Definition at line 5594 of file linearise.cpp.

Constructor & Destructor Documentation

enumeratedtype() [1/2]

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

inline

Definition at line 5602 of file linearise.cpp.

enumeratedtype() [2/2]

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

inline

Definition at line 5640 of file linearise.cpp.

~enumeratedtype()

specification_basic_type::enumeratedtype::~enumeratedtype ( )

inline

Definition at line 5656 of file linearise.cpp.

Member Function Documentation

operator=()

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

inline

Definition at line 5648 of file linearise.cpp.

Member Data Documentation

elementnames

data_expression_list specification_basic_type::enumeratedtype::elementnames

Definition at line 5599 of file linearise.cpp.

functions

function_symbol_list specification_basic_type::enumeratedtype::functions

Definition at line 5600 of file linearise.cpp.

size

std::size_t specification_basic_type::enumeratedtype::size

Definition at line 5597 of file linearise.cpp.

sortId

sort_expression specification_basic_type::enumeratedtype::sortId

Definition at line 5598 of file linearise.cpp.

---

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

• lps/source/linearise.cpp