Here is a list of all documented functions with links to the class documentation for each member:

- o -

• operator()() : colour_string::ColourString, commas::comma, Unifier, verbose_print::VPrint
• operator==() : Literal, Term
• operator[]() : Clause, FunctionIndex, Literal, Matrix, PredicateIndex, Term