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 ()=default
	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 ()=default

Public Attributes
std::size_t	enumeratedtype_index
variable	var

Detailed Description

Definition at line 5543 of file linearise.cpp.

Constructor & Destructor Documentation

enumtype() [1/4]

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

delete

enumtype() [2/4]

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 5553 of file linearise.cpp.

~enumtype() [1/2]

specification_basic_type::enumtype::~enumtype ( )

default

enumtype() [3/4]

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

delete

enumtype() [4/4]

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 5553 of file linearise.cpp.

~enumtype() [2/2]

specification_basic_type::enumtype::~enumtype ( )

default

Member Function Documentation

operator=() [1/2]

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

delete

operator=() [2/2]

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 5550 of file linearise.cpp.

var

variable specification_basic_type::enumtype::var

Definition at line 5551 of file linearise.cpp.

---

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

• lps/source/linearise.cpp