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