Cadabra
Computer algebra system for field theory problems
Loading...
Searching...
No Matches
SatisfiesBianchi.hh
Go to the documentation of this file.
1
2#pragma once
3
5
6namespace 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 virtual void validate(Kernel&, std::shared_ptr<Ex>) const override;
16 };
17
18 }
Definition Storage.hh:170
Definition Kernel.hh:15
Class holding a collection of properties attached to expressions.
Definition Props.hh:242
Definition SatisfiesBianchi.hh:8
virtual void validate(Kernel &, std::shared_ptr< Ex >) const override
Definition SatisfiesBianchi.cc:18
virtual unsigned int size(const Properties &, Ex &, Ex::iterator) const override
Definition SatisfiesBianchi.cc:28
virtual std::string name() const override
Definition SatisfiesBianchi.cc:13
virtual tab_t get_tab(const Properties &, Ex &, Ex::iterator, unsigned int) const override
Definition SatisfiesBianchi.cc:46
Definition TableauBase.hh:9
Base class for all properties, handling argument parsing and defining the interface.
Definition Props.hh:127
Functions to handle the exchange properties of two or more symbols in a product.
Definition Adjform.cc:83