main
Logic-Learning-Assistance-Tool
Repository badge with A rating
View on GitHub
Grade
Name
Complexity
Churn
Issues
A
src\main\java\com\llat\models\symbols\Conjunction.java
 1 -
A
src\main\java\com\llat\models\events\RandomGeneratedFormulaEvent.java
4 2 -
A
src\main\java\com\llat\models\symbols\DoubleTurnstile.java
 1 -
A
src\main\java\com\llat\algorithms\predicate\OpenSentenceDeterminer.java
2 3 -
A
src\main\java\com\llat\models\symbols\Existential.java
 1 -
A
src\main\java\com\llat\models\events\UpdateViewParseTreeEvent.java
4 2 -
A
src\main\java\com\llat\algorithms\PDFParseTreePrinter.java
8 2 -
A
src\main\java\com\llat\algorithms\predicate\FreeVariableDetector.java
11 3 -
A
src\main\java\com\llat\main\Window.java
2 7 -
A
src\main\java\com\llat\models\localstorage\uidescription\settingsview\SettingsMenuContent.java
5 2 -
A
src\main\java\com\llat\models\symbols\Turnstile.java
 1 -
A
src\main\java\com\llat\models\events\UpdateViewTruthTableEvent.java
4 2 -
A
src\main\java\com\llat\models\treenode\AndNode.java
8 6 -
A
src\main\java\com\llat\algorithms\predicate\RandomPredicateFormulaGenerator.java
31 5 -
A
src\main\java\com\llat\models\localstorage\uidescription\settingsview\SettingsView.java
10 3 -
A
src\main\java\com\llat\models\AlgorithmType.java
5 5 -
A
src\main\java\com\llat\models\localstorage\uidescription\settingsview\Theme.java
7 2 -
A
src\main\java\com\llat\algorithms\LogicallyConsistentDeterminer.java
6 6 -
A
.github\workflows\maven.yml
 3 -
A
src\main\java\com\llat\algorithms\ArgumentTruthTreeValidator.java
9 3 -