specification_basic_type::enumtype Class Reference

Public Member Functions
	enumtype (const enumtype &)=delete
enumtype &	operator= (const enumtype &)=delete
	enumtype (std::size_t n, const sort_expression_list &fsorts, const sort_expression_list &gsorts, specification_basic_type &spec)
	~enumtype ()

Public Attributes
std::size_t	enumeratedtype_index
variable	var

Detailed Description

Definition at line 5789 of file linearise.cpp.

Constructor & Destructor Documentation

enumtype() [1/2]

specification_basic_type::enumtype::enumtype ( const enumtype &  )

delete

enumtype() [2/2]

specification_basic_type::enumtype::enumtype ( std::size_t  n, const sort_expression_list &  fsorts, const sort_expression_list &  gsorts, specification_basic_type &  spec  )

inline

Definition at line 5799 of file linearise.cpp.

~enumtype()

specification_basic_type::enumtype::~enumtype ( )

inline

Definition at line 5827 of file linearise.cpp.

Member Function Documentation

operator=()

enumtype & specification_basic_type::enumtype::operator= ( const enumtype &  )

delete

Member Data Documentation

enumeratedtype_index

std::size_t specification_basic_type::enumtype::enumeratedtype_index

Definition at line 5796 of file linearise.cpp.

var

variable specification_basic_type::enumtype::var

Definition at line 5797 of file linearise.cpp.

---

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

• lps/source/linearise.cpp