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

#include <linear_inequalities.h>

Public Member Functions
	inequality_inconsistency_cache ()
	~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 Member Functions
	inequality_inconsistency_cache (const inequality_inconsistency_cache &)=delete
inequality_inconsistency_cache &	operator= (const inequality_consistency_cache &)=delete

Protected Attributes
inequality_inconsistency_cache_base *	m_cache

Detailed Description

Definition at line 1351 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 &  )

protecteddelete

inequality_inconsistency_cache() [2/2]

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

inline

Definition at line 1361 of file linear_inequalities.h.

~inequality_inconsistency_cache()

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

inline

Definition at line 1365 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 1401 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 1373 of file linear_inequalities.h.

operator=()

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

protecteddelete

Member Data Documentation

m_cache

inequality_inconsistency_cache_base* mcrl2::data::detail::inequality_inconsistency_cache::m_cache

protected

Definition at line 1354 of file linear_inequalities.h.

---

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

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