mcrl2::data::detail::inequality_inconsistency_cache

Include file:

#include "mcrl2/data/linear_inequalities.h

class mcrl2::data::detail::inequality_inconsistency_cache

Protected attributes

inequality_inconsistency_cache_base *mcrl2::data::detail::inequality_inconsistency_cache::m_cache

Protected member functions

inequality_inconsistency_cache(const inequality_inconsistency_cache&) = delete

inequality_inconsistency_cache &operator=(const inequality_consistency_cache&) = delete

Public member functions

void add_inconsistent_inequality_set(const std::vector<linear_inequality> &inequalities_in_)

inequality_inconsistency_cache()

bool is_inconsistent(const std::vector<linear_inequality> &inequalities_in_) const

~inequality_inconsistency_cache()