cadabra::substitute::Rules Class Reference

Public Member Functions
	Rules (size_t max_size_=1000, size_t cleanup_threshold_=100)
void	store (Ex &rules, std::map< iterator, bool > &lhs_contains_dummies, std::map< iterator, bool > &rhs_contains_dummies)
bool	is_present (Ex &rules) const
void	retrieve (Ex &rules, std::map< iterator, bool > &lhs_contains_dummies, std::map< iterator, bool > &rhs_contains_dummies) const
size_t	size () const
void	cleanup ()

Private Attributes
LRUcache< std::weak_ptr< Ex >, std::pair< std::map< iterator, bool >, std::map< iterator, bool > >, std::owner_less< std::weak_ptr< Ex > > >	properties
size_t	max_size
size_t	cleanup_threshold

Constructor & Destructor Documentation

Rules()

cadabra::substitute::Rules::Rules ( size_t max_size_ = 1000, size_t cleanup_threshold_ = 100 )

inline

Member Function Documentation

cleanup()

void substitute::Rules::cleanup

(

)

is_present()

bool substitute::Rules::is_present

(

Ex &

rules

)

const

retrieve()

void substitute::Rules::retrieve	(	Ex &	rules,
		std::map< iterator, bool > &	lhs_contains_dummies,
		std::map< iterator, bool > &	rhs_contains_dummies ) const

size()

size_t substitute::Rules::size

(

)

const

store()

void substitute::Rules::store	(	Ex &	rules,
		std::map< iterator, bool > &	lhs_contains_dummies,
		std::map< iterator, bool > &	rhs_contains_dummies )

Member Data Documentation

cleanup_threshold

size_t cadabra::substitute::Rules::cleanup_threshold

private

max_size

size_t cadabra::substitute::Rules::max_size

private

properties

LRUcache<std::weak_ptr<Ex>, std::pair< std::map<iterator, bool>, std::map<iterator, bool> >, std::owner_less<std::weak_ptr<Ex> > > cadabra::substitute::Rules::properties

mutableprivate

---

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

• core/algorithms/substitute.hh
• core/algorithms/substitute.cc