64 typedef std::set<Ex, tree_exact_less_obj>
Ex_set_t;
170 typedef std::pair<sibling_iterator, sibling_iterator>
range_t;
181 Ex::iterator
st, Ex::iterator
nd,
182 std::vector<unsigned int>& store);
184 Ex::iterator
st, Ex::iterator
nd,
185 std::vector<unsigned int>& store);
209 template<
class BinaryPredicate>
243 template<
class BinaryPredicate>
Object keeping track of time spent in nested execution blocks, and keeping track of out-of-band messa...
Definition ProgressMonitor.hh:17
The Stopwach class provides a simple interace to allow timing function calls etc.....
Definition Stopwatch.hh:107
Base class for all algorithms, containing generic routines and in particular the logic for index clas...
Definition Algorithm.hh:54
std::pair< sibling_iterator, sibling_iterator > range_t
Finding objects in sets.
Definition Algorithm.hh:170
unsigned int locate_single_object(Ex::iterator obj_to_find, Ex::iterator st, Ex::iterator nd, std::vector< unsigned int > &store)
Definition Algorithm.cc:945
std::vector< range_t > range_vector_t
Definition Algorithm.hh:171
virtual result_t apply(iterator &)=0
void report_progress(const std::string &, int todo, int done, int count=2)
Definition Algorithm.cc:625
bool interrupted
Definition Algorithm.hh:67
void find_argument_lists(range_vector_t &, bool only_comma_lists=true) const
static bool is_factorlike(iterator)
Determines whether the indicated node is 'like a factor in a product'.
Definition Algorithm.cc:841
static unsigned int number_of_direct_indices(iterator it)
Definition Algorithm.cc:1101
bool check_degree_consistency(iterator) const
Given an expression top node, check differential form degree consistency.
Definition Algorithm.cc:536
static bool is_noncommuting(const Properties &, iterator)
Generic function to determine if there is any kind of non-commutativity associated to the given objec...
Definition Algorithm.cc:849
void propagate_zeroes(post_order_iterator &, const iterator &)
Given a node with zero multiplier, propagate this zero upwards in the tree.
Definition Algorithm.cc:322
static bool is_termlike(iterator)
Determines whether the indicated node is 'like a term in a sum'.
Definition Algorithm.cc:829
Ex_set_t dependencies(iterator it, bool include_derivatives_of=true) const
Determine all the Coordinate dependencies of the object at 'it'.
Definition Algorithm.cc:1010
bool derivative_acts_on(iterator it) const
Is this a symbol on which a derivative acts?
Definition Algorithm.cc:1001
bool locate_object_set(const Ex &objs, Ex::iterator st, Ex::iterator nd, std::vector< unsigned int > &store)
Definition Algorithm.cc:965
index_iterator end_index(iterator it) const
Definition Algorithm.cc:519
void node_zero(iterator)
Definition Algorithm.cc:455
bool rename_replacement_dummies(iterator, bool still_inside_algo=false)
Rename the dummies in the sub-tree starting with head at the given iterator.
Definition Algorithm.cc:658
unsigned int intersection_number(sibling_iterator, sibling_iterator, sibling_iterator, sibling_iterator, BinaryPredicate) const
Determine the number of elements in the first range which also occur in the second range.
Definition Algorithm.hh:244
unsigned int number_of_calls
Definition Algorithm.hh:93
bool check_consistency(iterator) const
Given an expression top node, check index consistency.
Definition Algorithm.cc:541
result_t apply_generic(bool deep=true, bool repeat=false, unsigned int depth=0)
The main entry points for running algorithms, which traverse the tree post-order ('child before paren...
Definition Algorithm.cc:110
void node_one(iterator)
Definition Algorithm.cc:462
void set_progress_monitor(ProgressMonitor *)
Provide the algorithm with a ProgressMonitor object on which to register (nested) progress informatio...
Definition Algorithm.cc:68
static bool compare_(const str_node &, const str_node &)
Definition Algorithm.cc:1159
bool check_index_consistency(iterator) const
Definition Algorithm.cc:527
Ex::result_t result_t
Definition Algorithm.hh:65
bool traverse_ldots
Definition Algorithm.hh:221
Stopwatch index_sw
Definition Algorithm.hh:106
void node_integer(iterator, int)
Definition Algorithm.cc:469
bool discard_command_node
Definition Algorithm.hh:96
Stopwatch report_progress_stopwatch
Definition Algorithm.hh:108
bool suppress_normal_output
Definition Algorithm.hh:95
range_vector_t::iterator find_arg_superset(range_vector_t &, Iter st, Iter nd)
Definition Algorithm.cc:808
bool contains(sibling_iterator from, sibling_iterator to, sibling_iterator arg)
Definition Algorithm.cc:775
void pushup_multiplier(iterator)
Definition Algorithm.cc:415
index_iterator begin_index(iterator it) const
Definition Algorithm.cc:514
result_t apply_once(Ex::iterator &it)
Definition Algorithm.cc:196
ProgressMonitor * pm
Definition Algorithm.hh:156
result_t apply_deep(Ex::iterator &it)
Definition Algorithm.cc:213
unsigned int number_of_indices(iterator it)
Definition Algorithm.cc:490
unsigned int number_of_modifications
Definition Algorithm.hh:94
std::string get_index_set_name(iterator it) const
Definition Algorithm.cc:501
Stopwatch get_dummy_sw
Definition Algorithm.hh:107
virtual ~Algorithm()
Definition Algorithm.cc:64
bool separated_by_derivative(iterator, iterator, iterator check_dependence) const
Figure out whether two objects (commonly indices) are separated by a derivative operator,...
Definition Algorithm.cc:866
std::set< Ex, tree_exact_less_obj > Ex_set_t
Definition Algorithm.hh:64
virtual bool can_apply(iterator)=0
result_t apply_pre_order(bool repeat=false)
Apply algorithm with alternative traversal: starting from the top node, traverse the tree pre-order (...
Definition Algorithm.cc:73
Definition Storage.hh:170
result_t
Keeping track of what algorithms have done to this expression.
Definition Storage.hh:200
Ex::post_order_iterator post_order_iterator
Definition ExManip.hh:13
Ex::sibling_iterator sibling_iterator
Definition ExManip.hh:14
Ex::iterator iterator
Definition ExManip.hh:12
Class holding a collection of properties attached to expressions.
Definition Props.hh:242
An iterator which iterates over indices even if they are at lower levels, i.e.
Definition IndexIterator.hh:20
Elementary building block for a mathematical expression.
Definition Storage.hh:62
Functions to handle the exchange properties of two or more symbols in a product.
Definition Adjform.cc:83
void set(rset_t::iterator &num, multiplier_t fac)
Definition Storage.cc:1179
void fun(int *&p)
Definition passing.cc:6