Cadabra
Computer algebra system for field theory problems
Loading...
Searching...
No Matches
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: