mcrl2::data::detail::inequality_consistency_cache

Include file:

#include "mcrl2/data/linear_inequalities.h

class mcrl2::data::detail::inequality_consistency_cache

Protected attributes

inequality_inconsistency_cache_base *mcrl2::data::detail::inequality_consistency_cache::m_cache

Protected member functions

inequality_consistency_cache(const inequality_consistency_cache&) = delete

inequality_consistency_cache &operator=(const inequality_consistency_cache&) = delete

Public member functions

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

inequality_consistency_cache()

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

~inequality_consistency_cache()