mCRL2
Loading...
Searching...
No Matches
Public Member Functions | Protected Member Functions | Protected Attributes | List of all members
mcrl2::data::finiteness_helper Class Reference

Public Member Functions

 finiteness_helper (const data_specification &specification)
 
bool is_finite (const sort_expression &s)
 
bool is_finite (const basic_sort &s)
 
bool is_finite (const function_sort &s)
 
bool is_finite (const container_sort &s)
 
bool is_finite (const alias &)
 
bool is_finite (const structured_sort &s)
 
 finiteness_helper (const data_specification &specification)
 
bool is_finite (const sort_expression &s)
 
bool is_finite (const basic_sort &s)
 
bool is_finite (const function_sort &s)
 
bool is_finite (const container_sort &s)
 
bool is_finite (const alias &)
 
bool is_finite (const structured_sort &s)
 

Protected Member Functions

bool is_finite_aux (const sort_expression &s)
 
bool is_finite_aux (const sort_expression &s)
 

Protected Attributes

const data_specification & m_specification
 
std::set< sort_expression > m_visiting
 

Detailed Description

Definition at line 26 of file data_specification.cpp.

Constructor & Destructor Documentation

◆ finiteness_helper() [1/2]

mcrl2::data::finiteness_helper::finiteness_helper ( const data_specification &  specification)
inline

Definition at line 62 of file data_specification.cpp.

◆ finiteness_helper() [2/2]

mcrl2::data::finiteness_helper::finiteness_helper ( const data_specification &  specification)
inline

Definition at line 62 of file data_specification.cpp.

Member Function Documentation

◆ is_finite() [1/12]

bool mcrl2::data::finiteness_helper::is_finite ( const alias &  )
inline

Definition at line 120 of file data_specification.cpp.

◆ is_finite() [2/12]

bool mcrl2::data::finiteness_helper::is_finite ( const alias &  )
inline

Definition at line 120 of file data_specification.cpp.

◆ is_finite() [3/12]

bool mcrl2::data::finiteness_helper::is_finite ( const basic_sort &  s)
inline

Definition at line 97 of file data_specification.cpp.

◆ is_finite() [4/12]

bool mcrl2::data::finiteness_helper::is_finite ( const basic_sort &  s)
inline

Definition at line 97 of file data_specification.cpp.

◆ is_finite() [5/12]

bool mcrl2::data::finiteness_helper::is_finite ( const container_sort &  s)
inline

Definition at line 115 of file data_specification.cpp.

◆ is_finite() [6/12]

bool mcrl2::data::finiteness_helper::is_finite ( const container_sort &  s)
inline

Definition at line 115 of file data_specification.cpp.

◆ is_finite() [7/12]

bool mcrl2::data::finiteness_helper::is_finite ( const function_sort &  s)
inline

Definition at line 102 of file data_specification.cpp.

◆ is_finite() [8/12]

bool mcrl2::data::finiteness_helper::is_finite ( const function_sort &  s)
inline

Definition at line 102 of file data_specification.cpp.

◆ is_finite() [9/12]

bool mcrl2::data::finiteness_helper::is_finite ( const sort_expression &  s)
inline

Definition at line 65 of file data_specification.cpp.

◆ is_finite() [10/12]

bool mcrl2::data::finiteness_helper::is_finite ( const sort_expression &  s)
inline

Definition at line 65 of file data_specification.cpp.

◆ is_finite() [11/12]

bool mcrl2::data::finiteness_helper::is_finite ( const structured_sort &  s)
inline

Definition at line 126 of file data_specification.cpp.

◆ is_finite() [12/12]

bool mcrl2::data::finiteness_helper::is_finite ( const structured_sort &  s)
inline

Definition at line 126 of file data_specification.cpp.

◆ is_finite_aux() [1/2]

bool mcrl2::data::finiteness_helper::is_finite_aux ( const sort_expression &  s)
inlineprotected

Definition at line 33 of file data_specification.cpp.

◆ is_finite_aux() [2/2]

bool mcrl2::data::finiteness_helper::is_finite_aux ( const sort_expression &  s)
inlineprotected

Definition at line 33 of file data_specification.cpp.

Member Data Documentation

◆ m_specification

const data_specification & mcrl2::data::finiteness_helper::m_specification
protected

Definition at line 30 of file data_specification.cpp.

◆ m_visiting

std::set< sort_expression > mcrl2::data::finiteness_helper::m_visiting
protected

Definition at line 31 of file data_specification.cpp.

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