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 *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()