JoshuaCrotts/Logic-Learning-Assistance-Tool

main

Grade	Name	Complexity	Churn	Issues
A	src\main\java\com\llat\algorithms\propositional\TruthTableGenerator.java	47	3	-
A	src\main\java\com\llat\algorithms\propositional\TexTablePrinter.java	10	5	-
A	src\main\java\com\llat\algorithms\propositional\RandomPropositionalFormulaGenerator.java	16	4	-
A	src\main\java\com\llat\algorithms\propositional\PropositionalTruthTreeGenerator.java	17	18	2
A	src\main\java\com\llat\algorithms\propositional\PDFTruthTablePrinter.java	10	2	-
A	src\main\java\com\llat\algorithms\predicate\RandomPredicateFormulaGenerator.java	31	5	-
A	src\main\java\com\llat\algorithms\predicate\PredicateTruthTreeGenerator.java	42	13	2
A	src\main\java\com\llat\algorithms\predicate\OpenSentenceDeterminer.java	2	3	-
A	src\main\java\com\llat\algorithms\predicate\GroundSentenceDeterminer.java	5	3	-
A	src\main\java\com\llat\algorithms\predicate\FreeVariableDetector.java	11	3	-
A	src\main\java\com\llat\algorithms\predicate\ClosedSentenceDeterminer.java	3	3	-
A	src\main\java\com\llat\algorithms\predicate\BoundVariableDetector.java	10	3	-
A	src\main\java\com\llat\algorithms\models\TruthTree.java	87	14	2
A	src\main\java\com\llat\algorithms\models\NDWffTree.java	27	2	-
A	src\main\java\com\llat\algorithms\models\NDStep.java	3	2	-
A	src\main\java\com\llat\algorithms\models\NDFlag.java		2	-
A	src\main\java\com\llat\algorithms\WffAlgorithm.java	2	2	-
A	src\main\java\com\llat\algorithms\TexTruthTreePrinter.java	4	1	-
A	src\main\java\com\llat\algorithms\TexPrinter.java	9	1	-
A	src\main\java\com\llat\algorithms\TexParseTreePrinter.java	8	2	-