mcrl2::data::detail::inequality_inconsistency_cache_base Class Reference

#include <linear_inequalities.h>

Public Member Functions
	inequality_inconsistency_cache_base (const inequality_inconsistency_cache_base &)=delete
inequality_inconsistency_cache_base &	operator= (const inequality_inconsistency_cache_base &)=delete
	inequality_inconsistency_cache_base (const node_type node)
	inequality_inconsistency_cache_base (const node_type node, const linear_inequality &inequality, std::unique_ptr< inequality_inconsistency_cache_base > present_branch, std::unique_ptr< inequality_inconsistency_cache_base > non_present_branch)

Protected Attributes
node_type	m_node
linear_inequality	m_inequality
std::unique_ptr< inequality_inconsistency_cache_base >	m_present_branch
std::unique_ptr< inequality_inconsistency_cache_base >	m_non_present_branch

Private Attributes
friend	inequality_inconsistency_cache
friend	inequality_consistency_cache

Detailed Description

Definition at line 1305 of file linear_inequalities.h.

Constructor & Destructor Documentation

inequality_inconsistency_cache_base() [1/3]

mcrl2::data::detail::inequality_inconsistency_cache_base::inequality_inconsistency_cache_base ( const inequality_inconsistency_cache_base &  )

delete

inequality_inconsistency_cache_base() [2/3]

mcrl2::data::detail::inequality_inconsistency_cache_base::inequality_inconsistency_cache_base ( const node_type  node )

inline

Definition at line 1321 of file linear_inequalities.h.

inequality_inconsistency_cache_base() [3/3]

mcrl2::data::detail::inequality_inconsistency_cache_base::inequality_inconsistency_cache_base ( const node_type  node, const linear_inequality &  inequality, std::unique_ptr< inequality_inconsistency_cache_base >  present_branch, std::unique_ptr< inequality_inconsistency_cache_base >  non_present_branch  )

inline

Definition at line 1325 of file linear_inequalities.h.

Member Function Documentation

operator=()

inequality_inconsistency_cache_base & mcrl2::data::detail::inequality_inconsistency_cache_base::operator= ( const inequality_inconsistency_cache_base &  )

delete

Member Data Documentation

inequality_consistency_cache

friend mcrl2::data::detail::inequality_inconsistency_cache_base::inequality_consistency_cache

private

Definition at line 1308 of file linear_inequalities.h.

inequality_inconsistency_cache

friend mcrl2::data::detail::inequality_inconsistency_cache_base::inequality_inconsistency_cache

private

Definition at line 1307 of file linear_inequalities.h.

m_inequality

linear_inequality mcrl2::data::detail::inequality_inconsistency_cache_base::m_inequality

protected

Definition at line 1312 of file linear_inequalities.h.

m_node

node_type mcrl2::data::detail::inequality_inconsistency_cache_base::m_node

protected

Definition at line 1311 of file linear_inequalities.h.

m_non_present_branch

std::unique_ptr<inequality_inconsistency_cache_base> mcrl2::data::detail::inequality_inconsistency_cache_base::m_non_present_branch

protected

Definition at line 1314 of file linear_inequalities.h.

m_present_branch

std::unique_ptr<inequality_inconsistency_cache_base> mcrl2::data::detail::inequality_inconsistency_cache_base::m_present_branch

protected

Definition at line 1313 of file linear_inequalities.h.

---

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

• data/include/mcrl2/data/linear_inequalities.h