Connect++ 0.5.0
A fast, readable connection prover for first-order logic.
Loading...
Searching...
No Matches
Predicate Member List

This is the complete list of members for Predicate, including all inherited members.

arity (defined in Predicate)Predicateprivate
get_arity() constPredicateinline
get_ID() constPredicateinline
get_name() constPredicateinline
id (defined in Predicate)Predicateprivate
is_compatible_with(const Predicate &) constPredicate
make_LaTeX() constPredicate
name (defined in Predicate)Predicateprivate
operator<<Predicatefriend
operator=(const Predicate &)=delete (defined in Predicate)Predicate
operator=(const Predicate &&)=delete (defined in Predicate)Predicate
Predicate()Predicateinlineprivate
Predicate(ID new_id) (defined in Predicate)Predicateinlineprivate
Predicate(ID new_id, const string &new_name) (defined in Predicate)Predicateinlineprivate
Predicate(ID new_id, const string &new_name, Arity new_arity) (defined in Predicate)Predicateinlineprivate
Predicate(const Predicate &)=deletePredicate
Predicate(const Predicate &&)=delete (defined in Predicate)Predicate
PredicateIndex (defined in Predicate)Predicatefriend
to_string() constPredicate