judge-0.1.2.0: Tableau-based theorem prover.

Index - P

parseLogic.Judge.Formula.Parser, Logic.Judge.Formula
ParseableLogic.Judge.Formula.Parser, Logic.Judge.Formula
parserLogic.Judge.Formula.Parser, Logic.Judge.Formula
parserEmbeddedLogic.Judge.Formula.Parser, Logic.Judge.Formula
patternLogic.Judge.Formula.Substitution
patternContinueLogic.Judge.Formula.Substitution
PlainLogic.Judge.Writer
plainprintLogic.Judge.Writer
PointedList 
1 (Data Constructor)Logic.Judge.PointedList
2 (Type/Class)Logic.Judge.PointedList
positionsLogic.Judge.PointedList
PossibleLogic.Judge.Formula.Datastructure, Logic.Judge.Formula
PredicateLogic.Judge.Formula.Datastructure, Logic.Judge.Formula
prefixLogic.Judge.PointedList
prettyLogic.Judge.Writer.Plain
prettyEmbeddedLogic.Judge.Writer.Plain
prettyprintLogic.Judge.Writer
prettyRecursiveLogic.Judge.Writer.Plain
previousLogic.Judge.PointedList
PrimitiveLogic.Judge.Prover.Tableau
PrimitiveDynamicTermsLogic.Judge.Prover.Tableau
PrimitiveStaticTermsLogic.Judge.Prover.Tableau
PrintableLogic.Judge.Writer.Plain
ProcessedLogic.Judge.Prover.Tableau
productionsLogic.Judge.Prover.Tableau
ProofCheckerLogic.Judge.Formula.Datastructure, Logic.Judge.Formula
ProofConstantLogic.Judge.Formula.Datastructure, Logic.Judge.Formula
ProofVariableLogic.Judge.Formula.Datastructure, Logic.Judge.Formula
PropositionLogic.Judge.Formula.Datastructure, Logic.Judge.Formula