Cadabra
Computer algebra system for field theory problems
SatisfiesBianchi.hh
Go to the documentation of this file.
1 
2 #pragma once
3 
5 
6 namespace cadabra {
7 
8  class SatisfiesBianchi : public TableauBase, virtual public property {
9  public:
10  // virtual bool parse(const Properties&, keyval_t&) override;
11  virtual std::string name() const override;
12 
13  virtual unsigned int size(const Properties&, Ex&, Ex::iterator) const override;
14  virtual tab_t get_tab(const Properties&, Ex&, Ex::iterator, unsigned int) const override;
15  };
16 
17  }
cadabra::SatisfiesBianchi
Definition: SatisfiesBianchi.hh:8
TableauBase.hh
cadabra::property
Base class for all properties, handling argument parsing and defining the interface.
Definition: Props.hh:126
cadabra::TableauBase
Definition: TableauBase.hh:9
yngtab::filled_tableau< unsigned int >
cadabra::Ex
Basic storage class for symbolic mathemematical expressions.
Definition: Storage.hh:140
cadabra::SatisfiesBianchi::name
virtual std::string name() const override
Definition: SatisfiesBianchi.cc:7
cadabra
Functions to handle the exchange properties of two or more symbols in a product.
Definition: Adjform.cc:80
cadabra::Properties
Class holding a collection of properties attached to expressions.
Definition: Props.hh:233
cadabra::SatisfiesBianchi::size
virtual unsigned int size(const Properties &, Ex &, Ex::iterator) const override
Definition: SatisfiesBianchi.cc:12
cadabra::SatisfiesBianchi::get_tab
virtual tab_t get_tab(const Properties &, Ex &, Ex::iterator, unsigned int) const override
Definition: SatisfiesBianchi.cc:30