convert_fof_formula Member List

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

operator()(const fof_plain_term_struct &) const (defined in convert_fof_formula)	convert_fof_formula
operator()(const infix_struct &) const (defined in convert_fof_formula)	convert_fof_formula
operator()(const fof_unitary_formula_struct &) const (defined in convert_fof_formula)	convert_fof_formula
operator()(const fof_negation_struct &) const (defined in convert_fof_formula)	convert_fof_formula
operator()(const fof_quantifier_struct &) const (defined in convert_fof_formula)	convert_fof_formula
operator()(const fof_binary_struct &) const (defined in convert_fof_formula)	convert_fof_formula
operator()(const fof_andor_struct &) const (defined in convert_fof_formula)	convert_fof_formula