Definition: WeightBase.hh:8
virtual multiplier_t value(const Kernel &, Ex::iterator, const std::string &forcedlabel) const =0
Functions to handle the exchange properties of two or more symbols in a product.
Definition: Adjform.cc:83
mpq_class multiplier_t
Definition: Storage.hh:38