|
Connect++ 0.1
A fast, readable connection prover for first-order logic.
|
This is the complete list of members for FOF, including all inherited members.
| add_formula(const FOF &f) | FOF | inline |
| clear() | FOF | inline |
| convert_to_clauses(vector< Clause > &) const | FOF | |
| convert_to_cnf_clauses(vector< Clause > &) | FOF | |
| convert_to_nnf() | FOF | |
| distribute_or() | FOF | |
| distribute_or_once() | FOF | |
| find_and() const | FOF | |
| FOF()=delete | FOF | |
| FOF(FOFType t) | FOF | inline |
| FOF(const Literal &) | FOF | |
| FOF(FOFType, const vector< FOF > &, Variable *) | FOF | |
| fof_type() | FOF | inline |
| is_clause() const | FOF | |
| is_literal() const | FOF | |
| make_and(const vector< FOF > &fs) | FOF | inlinestatic |
| make_exists(const FOF &f, Variable *v) | FOF | inlinestatic |
| make_forall(const FOF &f, Variable *v) | FOF | inlinestatic |
| make_iff(const FOF &lhs, const FOF &rhs) | FOF | inlinestatic |
| make_imp(const FOF &lhs, const FOF &rhs) | FOF | inlinestatic |
| make_literal(const Literal &lit) | FOF | inlinestatic |
| make_neg(const FOF &f) | FOF | inlinestatic |
| make_or(const vector< FOF > &fs) | FOF | inlinestatic |
| make_unique_bound_variables() | FOF | |
| miniscope() | FOF | |
| negate() | FOF | |
| operator<< (defined in FOF) | FOF | friend |
| push_negs() | FOF | |
| remove_iff() | FOF | |
| remove_imp() | FOF | |
| remove_negation() | FOF | |
| remove_universal_quantifiers() | FOF | |
| set_indexes(std::tuple< VariableIndex *, FunctionIndex *, PredicateIndex *, TermIndex * > is) | FOF | inlinestatic |
| show_indexes() const | FOF | inline |
| simplify_cnf(vector< Clause > &) | FOF | static |
| skolemize() | FOF | |
| to_Literal(Literal &) const | FOF | |
| to_string() const | FOF |
1.9.7