factorise Class Reference

#include <algebra.hh>

Inheritance diagram for factorise:

algorithm active_node List of all members.

Public Member Functions

 factorise (exptree &, iterator)
virtual void description () const
virtual bool can_apply (iterator)
virtual result_t apply (iterator &)

Private Types

typedef std::multimap< hashval_t,
sibling_iterator > 		term_hash_t
typedef term_hash_t::iterator term_hash_iterator_t

Private Member Functions

bool compare_restricted (iterator one, iterator two) const
bool compare_prod_nonprod (iterator prod, iterator nonprod) const
hashval_t calc_restricted_hash (iterator it) const
void fill_hash_map (iterator)

Private Attributes

std::set< nset_t::iterator,
nset_it_less > 		factnodes
term_hash_t term_hash

Member Typedef Documentation

typedef term_hash_t::iterator factorise::term_hash_iterator_t [private]
 

typedef std::multimap<hashval_t, sibling_iterator> factorise::term_hash_t [private]
 

Constructor & Destructor Documentation

factorise::factorise (  exptree &  ,
iterator 
) 
 

Member Function Documentation

algorithm::result_t factorise::apply (  iterator &   )  [virtual]
 

Reimplemented from algorithm.

hashval_t factorise::calc_restricted_hash (  iterator  it  )  const [private]
 

bool factorise::can_apply (  iterator   )  [virtual]
 

Reimplemented from algorithm.

bool factorise::compare_prod_nonprod (  iterator  prod,
iterator  nonprod
)  const [private]
 

bool factorise::compare_restricted (  iterator  one,
iterator  two
)  const [private]
 

void factorise::description (   )  const [virtual]
 

Implements active_node.

void factorise::fill_hash_map (  iterator   )  [private]
 

Member Data Documentation

std::set<nset_t::iterator, nset_it_less> factorise::factnodes [private]
 

term_hash_t factorise::term_hash [private]
 

The documentation for this class was generated from the following files:
Generated on Sat Jul 18 23:03:16 2009 for cadabra by  doxygen 1.4.6