source Directory Reference

Directories
	bandits
	literal
	misc
	substitution
	terms
	utilities

Files
	BasicTypes.hpp
	Clause.cpp
	Clause.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