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, inequality_inconsistency_cache_base *present_branch, inequality_inconsistency_cache_base *non_present_branch)
	~inequality_inconsistency_cache_base ()

Protected Attributes
node_type	m_node
linear_inequality	m_inequality
inequality_inconsistency_cache_base *	m_present_branch
inequality_inconsistency_cache_base *	m_non_present_branch

Private Attributes
friend	inequality_inconsistency_cache
friend	inequality_consistency_cache

Detailed Description

Definition at line 1307 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 1323 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, inequality_inconsistency_cache_base *  present_branch, inequality_inconsistency_cache_base *  non_present_branch  )

inline

Definition at line 1327 of file linear_inequalities.h.

~inequality_inconsistency_cache_base()

mcrl2::data::detail::inequality_inconsistency_cache_base::~inequality_inconsistency_cache_base ( )

inline

Definition at line 1338 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 1310 of file linear_inequalities.h.

inequality_inconsistency_cache

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

private

Definition at line 1309 of file linear_inequalities.h.

m_inequality

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

protected

Definition at line 1314 of file linear_inequalities.h.

m_node

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

protected

Definition at line 1313 of file linear_inequalities.h.

m_non_present_branch

inequality_inconsistency_cache_base* mcrl2::data::detail::inequality_inconsistency_cache_base::m_non_present_branch

protected

Definition at line 1316 of file linear_inequalities.h.

m_present_branch

inequality_inconsistency_cache_base* mcrl2::data::detail::inequality_inconsistency_cache_base::m_present_branch

protected

Definition at line 1315 of file linear_inequalities.h.

---

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

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