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 | |
namespace | 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) |