Computer algebra system for field theory problems
Classes | Namespaces
Props.hh File Reference
#include <map>
#include <list>
#include <type_traits>
#include "Storage.hh"

Go to the source code of this file.


class  cadabra::pattern
class  cadabra::keyval_t
 Arguments to properties get parsed into a keyval_t structure. More...
class  cadabra::property
 FIXME: the above two need to be merged, because parse may need access to the actual pattern tree, and once we are there, we may as well do checking. More...
class  cadabra::labelled_property
class  cadabra::list_property
 Something cannot be both a list property and a normal property at the same time, so we can safely inherit without virtual. More...
class  cadabra::Inherit< T >
 If a property X derives from Inherit<Y>, and get<Y> is called on an object which has an X property (but no Y property), then the get<Y> will look at the non-index child of the object to see if that has a Y property. More...
class  cadabra::PropertyInherit
 PropertyInherit is like Inherit<T> for all properties. More...
class  cadabra::Properties
class  cadabra::Properties::registered_property_map_t


 Functions to handle the exchange properties of two or more symbols in a product.