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

Public Member Functions

Private Attributes