Public Member Functions | Static Public Member Functions | Protected Member Functions | Friends
QuantifiedLeaf Class Reference
Inheritance diagram for QuantifiedLeaf:
Leaf CNode

List of all members.

Public Member Functions

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

Static Public Member Functions

static CNodemake (set< int > &q_vars, CNode *index_guard, CNode *value_guard)

Protected Member Functions

 QuantifiedLeaf (set< int > &q_vars, CNode *index_guard, CNode *value_guard)


class boost::serialization::access

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