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

Public Member Functions

 dependencies_rewrite_rule_pair (std::set< std::size_t > &dependencies, const data_equation &eq)
 
const std::set< std::size_t > & dependencies () const
 
data_equation equation () const
 
 dependencies_rewrite_rule_pair (std::set< std::size_t > &dependencies, const data_equation &eq)
 
const std::set< std::size_t > & dependencies () const
 
data_equation equation () const
 
 dependencies_rewrite_rule_pair (std::set< std::size_t > &dependencies, const data_equation &eq)
 
const std::set< std::size_t > & dependencies () const
 
data_equation equation () const
 
 dependencies_rewrite_rule_pair (std::set< std::size_t > &dependencies, const data_equation &eq)
 
const std::set< std::size_t > & dependencies () const
 
data_equation equation () const
 

Protected Attributes

std::set< std::size_t > m_dependencies
 
data_equation m_equation
 

Detailed Description

Definition at line 113 of file jitty.cpp.

Constructor & Destructor Documentation

◆ dependencies_rewrite_rule_pair() [1/4]

mcrl2::data::detail::dependencies_rewrite_rule_pair::dependencies_rewrite_rule_pair ( std::set< std::size_t > &  dependencies,
const data_equation &  eq 
)
inline

Definition at line 120 of file jitty.cpp.

◆ dependencies_rewrite_rule_pair() [2/4]

mcrl2::data::detail::dependencies_rewrite_rule_pair::dependencies_rewrite_rule_pair ( std::set< std::size_t > &  dependencies,
const data_equation &  eq 
)
inline

Definition at line 26 of file strategy.cpp.

◆ dependencies_rewrite_rule_pair() [3/4]

mcrl2::data::detail::dependencies_rewrite_rule_pair::dependencies_rewrite_rule_pair ( std::set< std::size_t > &  dependencies,
const data_equation &  eq 
)
inline

Definition at line 120 of file jitty.cpp.

◆ dependencies_rewrite_rule_pair() [4/4]

mcrl2::data::detail::dependencies_rewrite_rule_pair::dependencies_rewrite_rule_pair ( std::set< std::size_t > &  dependencies,
const data_equation &  eq 
)
inline

Definition at line 26 of file strategy.cpp.

Member Function Documentation

◆ dependencies() [1/4]

const std::set< std::size_t > & mcrl2::data::detail::dependencies_rewrite_rule_pair::dependencies ( ) const
inline

Definition at line 124 of file jitty.cpp.

◆ dependencies() [2/4]

const std::set< std::size_t > & mcrl2::data::detail::dependencies_rewrite_rule_pair::dependencies ( ) const
inline

Definition at line 124 of file jitty.cpp.

◆ dependencies() [3/4]

const std::set< std::size_t > & mcrl2::data::detail::dependencies_rewrite_rule_pair::dependencies ( ) const
inline

Definition at line 30 of file strategy.cpp.

◆ dependencies() [4/4]

const std::set< std::size_t > & mcrl2::data::detail::dependencies_rewrite_rule_pair::dependencies ( ) const
inline

Definition at line 30 of file strategy.cpp.

◆ equation() [1/4]

data_equation mcrl2::data::detail::dependencies_rewrite_rule_pair::equation ( ) const
inline

Definition at line 129 of file jitty.cpp.

◆ equation() [2/4]

data_equation mcrl2::data::detail::dependencies_rewrite_rule_pair::equation ( ) const
inline

Definition at line 129 of file jitty.cpp.

◆ equation() [3/4]

data_equation mcrl2::data::detail::dependencies_rewrite_rule_pair::equation ( ) const
inline

Definition at line 35 of file strategy.cpp.

◆ equation() [4/4]

data_equation mcrl2::data::detail::dependencies_rewrite_rule_pair::equation ( ) const
inline

Definition at line 35 of file strategy.cpp.

Member Data Documentation

◆ m_dependencies

std::set< std::size_t > mcrl2::data::detail::dependencies_rewrite_rule_pair::m_dependencies
protected

Definition at line 116 of file jitty.cpp.

◆ m_equation

data_equation mcrl2::data::detail::dependencies_rewrite_rule_pair::m_equation
protected

Definition at line 117 of file jitty.cpp.

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