Computer algebra system for field theory problems
Public Member Functions | Public Attributes | List of all members
cadabra::Integer Class Reference


Property indicating that a symbolic object always takes integer values. Optionally takes a range over which it runs, which can be symbolic.

#include <Integer.hh>

Inheritance diagram for cadabra::Integer:

Public Member Functions

virtual ~Integer ()
virtual std::string name () const override
virtual bool parse (Kernel &, keyval_t &keyvals) override
virtual void display (std::ostream &) const
virtual std::string unnamed_argument () const override
- Public Member Functions inherited from cadabra::property
 property (bool hidden=false)
virtual ~property ()
bool parse_to_keyvals (const Ex &, keyval_t &)
virtual bool parse (Kernel &, std::shared_ptr< Ex >, keyval_t &keyvals)
virtual void validate (const Kernel &, const Ex &) const
virtual void latex (std::ostream &) const
 Display the property on the stream. More...
virtual match_t equals (const property *) const
void hidden (bool h)
 Properties can be hidden because they only make sense to the system; they will not be printed when the user asks for a list of properties. More...
bool hidden (void) const

Public Attributes

Ex from
Ex to
Ex difference

Additional Inherited Members

- Public Types inherited from cadabra::property
enum  match_t { no_match, id_match, exact_match }

Constructor & Destructor Documentation

◆ ~Integer()

virtual cadabra::Integer::~Integer ( )

Member Function Documentation

◆ display()

void Integer::display ( std::ostream &  str) const

◆ name()

std::string Integer::name ( ) const

Implements cadabra::property.

◆ parse()

bool Integer::parse ( Kernel kernel,
keyval_t keyvals 

Reimplemented from cadabra::property.

◆ unnamed_argument()

virtual std::string cadabra::Integer::unnamed_argument ( ) const

Reimplemented from cadabra::property.

Member Data Documentation

◆ difference

Ex cadabra::Integer::difference

◆ from

Ex cadabra::Integer::from

◆ to

Ex cadabra::Integer::to

The documentation for this class was generated from the following files: