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 mcrl2::data::detail::inequality_inconsistency_cache_base::inequality_consistency_cache

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

Protected attributes

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

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

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

inequality_inconsistency_cache_base *mcrl2::data::detail::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()