mcrl2::data::detail::inequality_consistency_cache Class Reference

#include <linear_inequalities.h>

Public Member Functions
	inequality_consistency_cache ()
	~inequality_consistency_cache ()
bool	is_consistent (const std::vector< linear_inequality > &inequalities_in_) const
void	add_consistent_inequality_set (const std::vector< linear_inequality > &inequalities_in_)

Protected Member Functions
	inequality_consistency_cache (const inequality_consistency_cache &)=delete
inequality_consistency_cache &	operator= (const inequality_consistency_cache &)=delete

Protected Attributes
inequality_inconsistency_cache_base *	m_cache

Detailed Description

Definition at line 1459 of file linear_inequalities.h.

Constructor & Destructor Documentation

inequality_consistency_cache() [1/2]

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

protecteddelete

inequality_consistency_cache() [2/2]

mcrl2::data::detail::inequality_consistency_cache::inequality_consistency_cache ( )

inline

Definition at line 1469 of file linear_inequalities.h.

~inequality_consistency_cache()

mcrl2::data::detail::inequality_consistency_cache::~inequality_consistency_cache ( )

inline

Definition at line 1474 of file linear_inequalities.h.

Member Function Documentation

add_consistent_inequality_set()

void mcrl2::data::detail::inequality_consistency_cache::add_consistent_inequality_set ( const std::vector< linear_inequality > &  inequalities_in_ )

inline

Definition at line 1513 of file linear_inequalities.h.

is_consistent()

bool mcrl2::data::detail::inequality_consistency_cache::is_consistent ( const std::vector< linear_inequality > &  inequalities_in_ ) const

inline

Definition at line 1483 of file linear_inequalities.h.

operator=()

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

protecteddelete

Member Data Documentation

m_cache

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

protected

Definition at line 1462 of file linear_inequalities.h.

---

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

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