Inheritance diagram for Connective:
Public Member Functions | |
| virtual bool | operator== (const CNode &other) |
| virtual string | to_string () |
| const set< CNode * > & | get_operands () |
| virtual CNode * | substitute (map< Term *, Term * > &subs) |
Static Public Member Functions | |
| static CNode * | make_and (const set< CNode * > &ops, bool simplify=true) |
| static CNode * | make_or (const set< CNode * > &ops, bool simplify=true) |
| static CNode * | make_implies (CNode *p, CNode *a) |
| static CNode * | make_not (CNode *op) |
| static CNode * | make (cnode_type connective_type, const set< CNode * > &ops) |
| static CNode * | make (cnode_type connective_type, CNode *op1, CNode *op2) |
Friends | |
| class | ILPLeaf |
| class | CNode |
| class | boost::serialization::access |
The documentation for this class was generated from the following files:
- cnode/Connective.h
- cnode/Connective.cpp
