File List

Here is a list of all documented files with brief descriptions:

[detail level 123]

▼ source
▼ bandits
ERWA.cpp
ERWA.hpp
EXP3.cpp
EXP3.hpp
UCB.cpp
UCB.hpp
▼ literal
Literal.cpp
Literal.hpp
Predicate.cpp
Predicate.hpp
PredicateIndex.cpp
PredicateIndex.hpp
▼ misc
Exceptions.cpp
Exceptions.hpp
ProofChecker.cpp
ProofChecker.hpp
ProofPrinter.cpp
ProofPrinter.hpp
▼ substitution
Substitution.cpp
Substitution.hpp
SubstitutionStack.cpp
SubstitutionStack.hpp
Unifier.cpp
Unifier.hpp
▼ terms
Function.cpp
Function.hpp
FunctionHash.hpp
FunctionIndex.cpp
FunctionIndex.hpp
Term.cpp
Term.hpp
TermHash.hpp
TermIndex.cpp
TermIndex.hpp
Variable.cpp
Variable.hpp
VariableIndex.cpp
VariableIndex.hpp
▼ utilities
ClauseComparisons.hpp
cursor.cpp
cursor.hpp
Interval.hpp
LaTeXUtilities.cpp
LaTeXUtilities.hpp
PathUtilities.cpp
PathUtilities.hpp
Reorder.hpp
vic_strings.cpp
vic_strings.hpp
BasicTypes.hpp
Clause.cpp
Clause.hpp
ClauseCopyCache.cpp
ClauseCopyCache.hpp
connect++.cpp
FOF.cpp
FOF.hpp
InferenceItem.cpp
InferenceItem.hpp
Lemmata.cpp
Lemmata.hpp
Matrix.cpp
Matrix.hpp
Parameters.cpp
Parameters.hpp
ProverOutcome.cpp
ProverOutcome.hpp
Schedule.cpp
Schedule.hpp
SimplePath.cpp
SimplePath.hpp
StackItem.cpp
StackItem.hpp
StackProver.cpp
StackProver.hpp
TPTPParser.cpp
TPTPParser.hpp