mCRL2
Loading...
Searching...
No Matches
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)
 

Protected Member Functions

bool is_finite_aux (const sort_expression &s)
 

Protected Attributes

const data_specificationm_specification
 
std::set< sort_expressionm_visiting
 

Detailed Description

Definition at line 26 of file data_specification.cpp.

Constructor & Destructor Documentation

◆ finiteness_helper()

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/6]

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

Definition at line 120 of file data_specification.cpp.

◆ is_finite() [2/6]

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

Definition at line 97 of file data_specification.cpp.

◆ is_finite() [3/6]

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

Definition at line 115 of file data_specification.cpp.

◆ is_finite() [4/6]

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

Definition at line 102 of file data_specification.cpp.

◆ is_finite() [5/6]

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

Definition at line 65 of file data_specification.cpp.

◆ is_finite() [6/6]

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

Definition at line 126 of file data_specification.cpp.

◆ is_finite_aux()

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: