11 virtual std::string
name()
const override;
13 virtual unsigned int size(
const Properties&,
Ex&, Ex::iterator)
const override;
Definition: SatisfiesBianchi.hh:8
Basic storage class for symbolic mathemematical expressions.
Definition: Storage.hh:130
Base class for all properties, handling argument parsing and defining the interface.
Definition: Props.hh:107
Definition: TableauBase.hh:9
virtual tab_t get_tab(const Properties &, Ex &, Ex::iterator, unsigned int) const override
Definition: SatisfiesBianchi.cc:30
virtual unsigned int size(const Properties &, Ex &, Ex::iterator) const override
Definition: SatisfiesBianchi.cc:12
virtual std::string name() const override
Definition: SatisfiesBianchi.cc:7
Class holding a collection of properties attached to expressions.
Definition: Props.hh:203