mcrl2::data::detail::inequality_consistency_cache
===============================================================================


Include file:

.. code-block:: c++

   #include "mcrl2/data/linear_inequalities.h

.. cpp:class:: mcrl2::data::detail::inequality_consistency_cache

  

  

Protected attributes
-------------------------------------------------------------------------------

.. cpp:member:: inequality_inconsistency_cache_base * mcrl2::data::detail::inequality_consistency_cache::m_cache
  
  

  

Protected member functions
-------------------------------------------------------------------------------

.. cpp:function:: inequality_consistency_cache(const inequality_consistency_cache &)=delete
  
  

  

.. cpp:function:: inequality_consistency_cache& operator=(const inequality_consistency_cache &)=delete
  
  

  

Public member functions
-------------------------------------------------------------------------------

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

  

.. cpp:function:: inequality_consistency_cache()
  
  

  

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

  

.. cpp:function:: ~inequality_consistency_cache()