Symbolic Type Definitions

Core type definitions for symbolic expressions. More...

Typedefs
typedef SymEngine::RCP< const SymEngine::Symbol >	sdfg::symbolic::Symbol
	Reference-counted pointer to a SymEngine Symbol.
typedef SymEngine::RCP< const SymEngine::Number >	sdfg::symbolic::Number
	Reference-counted pointer to a SymEngine Number.
typedef SymEngine::RCP< const SymEngine::Integer >	sdfg::symbolic::Integer
	Reference-counted pointer to a SymEngine Integer constant.
typedef SymEngine::RCP< const SymEngine::Infty >	sdfg::symbolic::Infty
	Reference-counted pointer to a SymEngine Infinity value.
typedef SymEngine::RCP< const SymEngine::Basic >	sdfg::symbolic::Expression
	Reference-counted pointer to a symbolic expression (SymEngine Basic).
typedef SymEngine::RCP< const SymEngine::Boolean >	sdfg::symbolic::Condition
	Reference-counted pointer to a boolean condition expression.
typedef std::vector< Expression >	sdfg::symbolic::MultiExpression
	Vector of symbolic expressions for multi-dimensional operations.
typedef std::vector< Symbol >	sdfg::symbolic::SymbolVec
	Vector of symbols.
typedef std::set< Symbol, SymEngine::RCPBasicKeyLess >	sdfg::symbolic::SymbolSet
	Ordered set of symbols.
typedef std::unordered_map< Symbol, Expression, SymEngine::RCPBasicHash, SymEngine::RCPBasicKeyEq >	sdfg::symbolic::SymbolMap
	Map from symbols to expressions.
typedef std::vector< Symbol >	sdfg::symbolic::ExpressionVec
	Vector of expressions.
typedef std::set< Expression, SymEngine::RCPBasicKeyLess >	sdfg::symbolic::ExpressionSet
	Ordered set of expressions.
typedef std::unordered_map< Expression, Expression, SymEngine::RCPBasicHash, SymEngine::RCPBasicKeyEq >	sdfg::symbolic::ExpressionMap
	Map from expressions to expressions.
typedef SymEngine::map_basic_basic	sdfg::symbolic::ExpressionMapping

Detailed Description

Core type definitions for symbolic expressions.

Typedef Documentation

Condition

typedef SymEngine::RCP<const SymEngine::Boolean> sdfg::symbolic::Condition

Reference-counted pointer to a boolean condition expression.

Expression

typedef SymEngine::RCP<const SymEngine::Basic> sdfg::symbolic::Expression

Reference-counted pointer to a symbolic expression (SymEngine Basic).

ExpressionMap

typedef std::unordered_map<Expression, Expression, SymEngine::RCPBasicHash, SymEngine::RCPBasicKeyEq> sdfg::symbolic::ExpressionMap

Map from expressions to expressions.

ExpressionMapping

typedef SymEngine::map_basic_basic sdfg::symbolic::ExpressionMapping

ExpressionSet

typedef std::set<Expression, SymEngine::RCPBasicKeyLess> sdfg::symbolic::ExpressionSet

Ordered set of expressions.

ExpressionVec

typedef std::vector<Symbol> sdfg::symbolic::ExpressionVec

Vector of expressions.

Infty

typedef SymEngine::RCP<const SymEngine::Infty> sdfg::symbolic::Infty

Reference-counted pointer to a SymEngine Infinity value.

Integer

typedef SymEngine::RCP<const SymEngine::Integer> sdfg::symbolic::Integer

Reference-counted pointer to a SymEngine Integer constant.

MultiExpression

typedef std::vector<Expression> sdfg::symbolic::MultiExpression

Vector of symbolic expressions for multi-dimensional operations.

Number

typedef SymEngine::RCP<const SymEngine::Number> sdfg::symbolic::Number

Reference-counted pointer to a SymEngine Number.

Symbol

typedef SymEngine::RCP<const SymEngine::Symbol> sdfg::symbolic::Symbol

Reference-counted pointer to a SymEngine Symbol.

SymbolMap

typedef std::unordered_map<Symbol, Expression, SymEngine::RCPBasicHash, SymEngine::RCPBasicKeyEq> sdfg::symbolic::SymbolMap

Map from symbols to expressions.

SymbolSet

typedef std::set<Symbol, SymEngine::RCPBasicKeyLess> sdfg::symbolic::SymbolSet

Ordered set of symbols.

SymbolVec

typedef std::vector<Symbol> sdfg::symbolic::SymbolVec

Vector of symbols.