main
Logic-Learning-Assistance-Tool
Repository badge with A rating
View on GitHub
Grade
Name
Complexity
Churn
Issues
A
.github\workflows\maven.yml
 3 -
A
src\main\java\com\llat\algorithms\ArgumentNaturalDeductionValidator.java
92 3 1
A
src\main\java\com\llat\algorithms\ArgumentTruthTreeValidator.java
9 3 -
A
src\main\java\com\llat\algorithms\BaseTruthTreeGenerator.java
70 12 1
A
src\main\java\com\llat\algorithms\ClosedTreeDeterminer.java
15 3 -
A
src\main\java\com\llat\algorithms\LogicalFalsehoodDeterminer.java
5 4 -
A
src\main\java\com\llat\algorithms\LogicalTautologyDeterminer.java
6 4 -
A
src\main\java\com\llat\algorithms\LogicallyConsistentDeterminer.java
6 6 -
A
src\main\java\com\llat\algorithms\LogicallyContingentDeterminer.java
8 3 -
A
src\main\java\com\llat\algorithms\LogicallyContradictoryDeterminer.java
6 4 -
A
src\main\java\com\llat\algorithms\LogicallyContraryDeterminer.java
7 5 -
A
src\main\java\com\llat\algorithms\LogicallyEquivalentDeterminer.java
6 4 -
A
src\main\java\com\llat\algorithms\LogicallyImpliedDeterminer.java
6 4 -
A
src\main\java\com\llat\algorithms\MainOperatorDetector.java
7 7 -
A
src\main\java\com\llat\algorithms\OpenTreeDeterminer.java
15 3 -
A
src\main\java\com\llat\algorithms\PDFParseTreePrinter.java
8 2 -
A
src\main\java\com\llat\algorithms\PDFPrinter.java
11 1 -
A
src\main\java\com\llat\algorithms\PDFTruthTreePrinter.java
4 2 -
A
src\main\java\com\llat\algorithms\SemanticEntailmentDeterminer.java
9 3 -
A
src\main\java\com\llat\algorithms\TexParseTreePrinter.java
8 2 -