Cadabra
Computer algebra system for field theory problems
Toggle main menu visibility
Loading...
Searching...
No Matches
core
properties
SatisfiesBianchi.hh
Go to the documentation of this file.
1
2
#pragma once
3
4
#include "
properties/TableauBase.hh
"
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
virtual
void
validate
(
Kernel
&, std::shared_ptr<Ex>)
const override
;
16
};
17
18
}
TableauBase.hh
cadabra::Ex
Definition
Storage.hh:170
cadabra::Kernel
Definition
Kernel.hh:15
cadabra::Properties
Class holding a collection of properties attached to expressions.
Definition
Props.hh:242
cadabra::SatisfiesBianchi
Definition
SatisfiesBianchi.hh:8
cadabra::SatisfiesBianchi::validate
virtual void validate(Kernel &, std::shared_ptr< Ex >) const override
Definition
SatisfiesBianchi.cc:18
cadabra::SatisfiesBianchi::size
virtual unsigned int size(const Properties &, Ex &, Ex::iterator) const override
Definition
SatisfiesBianchi.cc:28
cadabra::SatisfiesBianchi::name
virtual std::string name() const override
Definition
SatisfiesBianchi.cc:13
cadabra::SatisfiesBianchi::get_tab
virtual tab_t get_tab(const Properties &, Ex &, Ex::iterator, unsigned int) const override
Definition
SatisfiesBianchi.cc:46
cadabra::TableauBase
Definition
TableauBase.hh:9
cadabra::TableauBase::tab_t
yngtab::filled_tableau< unsigned int > tab_t
Definition
TableauBase.hh:12
cadabra::property::property
property(bool hidden=false)
Definition
Props.cc:228
cadabra
Functions to handle the exchange properties of two or more symbols in a product.
Definition
Adjform.cc:83
Generated by
1.17.0