logic.h File Reference

#include <symengine/basic.h>
#include <symengine/sets.h>

Include dependency graph for logic.h:

This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Data Structures
class	SymEngine::Boolean
class	SymEngine::BooleanAtom
class	SymEngine::Contains
class	SymEngine::Piecewise
class	SymEngine::And
class	SymEngine::Or
class	SymEngine::Not
class	SymEngine::Xor
class	SymEngine::Relational
class	SymEngine::Equality
class	SymEngine::Unequality
class	SymEngine::LessThan
class	SymEngine::StrictLessThan

Namespaces
	SymEngine
	Main namespace for SymEngine package.

Typedefs
typedef std::set< RCP< const Boolean >, RCPBasicKeyLess >	SymEngine::set_boolean
typedef std::vector< RCP< const Boolean > >	SymEngine::vec_boolean
typedef std::vector< std::pair< RCP< const Basic >, RCP< const Boolean > > >	SymEngine::PiecewiseVec

Functions
RCP< const BooleanAtom >	SymEngine::boolean (bool b)
RCP< const Boolean >	SymEngine::contains (const RCP< const Basic > &expr, const RCP< const Set > &set)
RCP< const Basic >	SymEngine::piecewise (const PiecewiseVec &vec)
bool	SymEngine::is_a_Relational (const Basic &b)
bool	SymEngine::is_a_Boolean (const Basic &b)
RCP< const Boolean >	SymEngine::Eq (const RCP< const Basic > &lhs)
	Returns the canonicalized Equality object from a single argument.
RCP< const Boolean >	SymEngine::Eq (const RCP< const Basic > &lhs, const RCP< const Basic > &rhs)
	Returns the canonicalized Equality object from the two arguments.
RCP< const Boolean >	SymEngine::Ne (const RCP< const Basic > &lhs, const RCP< const Basic > &rhs)
	Returns the canonicalized Unequality object from the arguments.
RCP< const Boolean >	SymEngine::Ge (const RCP< const Basic > &lhs, const RCP< const Basic > &rhs)
	Convenience function returning LessThan object.
RCP< const Boolean >	SymEngine::Gt (const RCP< const Basic > &lhs, const RCP< const Basic > &rhs)
	Convenience function returning StrictLessThan object.
RCP< const Boolean >	SymEngine::Le (const RCP< const Basic > &lhs, const RCP< const Basic > &rhs)
	Returns the canonicalized LessThan object from the arguments.
RCP< const Boolean >	SymEngine::Lt (const RCP< const Basic > &lhs, const RCP< const Basic > &rhs)
	Returns the canonicalized StrictLessThan object from the arguments.
RCP< const Boolean >	SymEngine::logical_and (const set_boolean &s)
RCP< const Boolean >	SymEngine::logical_nand (const set_boolean &s)
RCP< const Boolean >	SymEngine::logical_or (const set_boolean &s)
RCP< const Boolean >	SymEngine::logical_not (const RCP< const Boolean > &s)
RCP< const Boolean >	SymEngine::logical_nor (const set_boolean &s)
RCP< const Boolean >	SymEngine::logical_xor (const vec_boolean &s)
RCP< const Boolean >	SymEngine::logical_xnor (const vec_boolean &s)