17 virtual std::string
name()
const override;
Definition: WeightBase.hh:8
virtual multiplier_t value(const Kernel &, Ex::iterator, const std::string &forcedlabel) const override
Definition: Weight.cc:24
virtual std::string unnamed_argument() const override
Definition: Weight.hh:13
virtual bool parse(Kernel &, std::shared_ptr< Ex >, keyval_t &) override
Definition: Weight.cc:15
virtual std::string name() const override
Definition: Weight.cc:10
virtual ~Weight()
Definition: Weight.cc:6
multiplier_t value_
Definition: Weight.hh:19
Arguments to properties get parsed into a keyval_t structure.
Definition: Props.hh:68
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