mcrl2::data::detail::inequality_inconsistency_cache_base

Include file:

#include "mcrl2/data/linear_inequalities.h
class mcrl2::data::detail::inequality_inconsistency_cache_base

Private attributes

friend inequality_consistency_cache
friend inequality_inconsistency_cache

Protected attributes

linear_inequality m_inequality
node_type m_node
inequality_inconsistency_cache_base *m_non_present_branch
inequality_inconsistency_cache_base *m_present_branch

Public member functions

inequality_inconsistency_cache_base(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 &operator=(const inequality_inconsistency_cache_base&) = delete
~inequality_inconsistency_cache_base()