mcrl2::data::detail::inequality_inconsistency_cache Class Reference

#include <linear_inequalities.h>

Public Member Functions
	inequality_inconsistency_cache (const inequality_inconsistency_cache &)=delete
inequality_inconsistency_cache &	operator= (const inequality_consistency_cache &)=delete
	inequality_inconsistency_cache ()
bool	is_inconsistent (const std::vector< linear_inequality > &inequalities_in_) const
void	add_inconsistent_inequality_set (const std::vector< linear_inequality > &inequalities_in_)

Protected Attributes
std::unique_ptr< inequality_inconsistency_cache_base >	m_cache

Detailed Description

Definition at line 1337 of file linear_inequalities.h.

Constructor & Destructor Documentation

inequality_inconsistency_cache() [1/2]

mcrl2::data::detail::inequality_inconsistency_cache::inequality_inconsistency_cache ( const inequality_inconsistency_cache &  )

delete

inequality_inconsistency_cache() [2/2]

mcrl2::data::detail::inequality_inconsistency_cache::inequality_inconsistency_cache ( )

inline

Definition at line 1347 of file linear_inequalities.h.

Member Function Documentation

add_inconsistent_inequality_set()

void mcrl2::data::detail::inequality_inconsistency_cache::add_inconsistent_inequality_set ( const std::vector< linear_inequality > &  inequalities_in_ )

inline

Definition at line 1379 of file linear_inequalities.h.

is_inconsistent()

bool mcrl2::data::detail::inequality_inconsistency_cache::is_inconsistent ( const std::vector< linear_inequality > &  inequalities_in_ ) const

inline

Definition at line 1351 of file linear_inequalities.h.

operator=()

inequality_inconsistency_cache & mcrl2::data::detail::inequality_inconsistency_cache::operator= ( const inequality_consistency_cache &  )

delete

Member Data Documentation

m_cache

std::unique_ptr<inequality_inconsistency_cache_base> mcrl2::data::detail::inequality_inconsistency_cache::m_cache

protected

Definition at line 1340 of file linear_inequalities.h.

---

The documentation for this class was generated from the following file:

• data/include/mcrl2/data/linear_inequalities.h