mCRL2
Loading...
Searching...
No Matches
mcrl2::data::detail::inequality_consistency_cache Member List

This is the complete list of members for mcrl2::data::detail::inequality_consistency_cache, including all inherited members.

add_consistent_inequality_set(const std::vector< linear_inequality > &inequalities_in_)mcrl2::data::detail::inequality_consistency_cacheinline
inequality_consistency_cache(const inequality_consistency_cache &)=deletemcrl2::data::detail::inequality_consistency_cacheprotected
inequality_consistency_cache()mcrl2::data::detail::inequality_consistency_cacheinline
is_consistent(const std::vector< linear_inequality > &inequalities_in_) constmcrl2::data::detail::inequality_consistency_cacheinline
m_cachemcrl2::data::detail::inequality_consistency_cacheprotected
operator=(const inequality_consistency_cache &)=deletemcrl2::data::detail::inequality_consistency_cacheprotected
~inequality_consistency_cache()mcrl2::data::detail::inequality_consistency_cacheinline