Inheritance diagram for QuantifiedLeaf:
Public Member Functions | |
| set< int > & | get_quantified_vars () |
| CNode * | get_index_guard () |
| CNode * | get_value_guard () |
| virtual bool | operator== (const CNode &other) |
| virtual string | to_string () |
| virtual CNode * | substitute (map< Term *, Term * > &subs) |
Static Public Member Functions | |
| static CNode * | make (set< int > &q_vars, CNode *index_guard, CNode *value_guard) |
Protected Member Functions | |
| QuantifiedLeaf (set< int > &q_vars, CNode *index_guard, CNode *value_guard) | |
Friends | |
| class | boost::serialization::access |
The documentation for this class was generated from the following files:
- cnode/QuantifiedLeaf.h
- cnode/QuantifiedLeaf.cpp
