Public Member Functions | Static Public Member Functions | Friends
Connective Class Reference
Inheritance diagram for Connective:

List of all members.

Public Member Functions

virtual bool operator== (const CNode &other)
virtual string to_string ()
const set< CNode * > & get_operands ()
virtual CNodesubstitute (map< Term *, Term * > &subs)

Static Public Member Functions

static CNodemake_and (const set< CNode * > &ops, bool simplify=true)
static CNodemake_or (const set< CNode * > &ops, bool simplify=true)
static CNodemake_implies (CNode *p, CNode *a)
static CNodemake_not (CNode *op)
static CNodemake (cnode_type connective_type, const set< CNode * > &ops)
static CNodemake (cnode_type connective_type, CNode *op1, CNode *op2)


class ILPLeaf
class CNode
class boost::serialization::access

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