Inheritance diagram for EqLeaf:
Public Member Functions | |
| virtual bool | operator== (const CNode &other) |
| virtual string | to_string () |
| virtual CNode * | substitute (map< Term *, Term * > &subs) |
| Term * | get_lhs () |
| Term * | get_rhs () |
Static Public Member Functions | |
| static CNode * | make (Term *lhs, Term *rhs) |
Protected Member Functions | |
| EqLeaf (Term *lhs, Term *rhs) | |
Friends | |
| class | boost::serialization::access |
The documentation for this class was generated from the following files:
- cnode/EqLeaf.h
- cnode/EqLeaf.cpp
