main
Logic-Learning-Assistance-Tool
Repository badge with A rating
View on GitHub
Grade
Name
Complexity
Churn
Issues
A
src\main\java\com\llat\algorithms\models\NDWffTree.java
27 2 -
A
src\main\java\com\llat\models\localstorage\uidescription\menubar\MenuBarContent.java
5 2 -
A
src\main\java\com\llat\input\events\SyntaxErrorEvent.java
2 2 -
A
src\main\java\com\llat\models\localstorage\uidescription\menubar\OpenProject.java
 2 -
A
src\main\java\com\llat\models\localstorage\uidescription\settingsview\SettingsView.java
10 3 -
A
src\main\java\com\llat\models\localstorage\uidescription\menubar\Register.java
 2 -
A
src\main\java\com\llat\input\events\UnsolvedFormulaEvent.java
1 2 -
A
src\main\java\com\llat\models\localstorage\uidescription\settingsview\Advanced.java
5 2 -
A
src\main\java\com\llat\algorithms\predicate\BoundVariableDetector.java
10 3 -
A
src\main\java\com\llat\models\localstorage\uidescription\settingsview\AllTheme.java
 1 -
A
src\main\java\com\llat\input\tests\LexerTest.java
13 5 -
A
src\main\java\com\llat\models\localstorage\uidescription\settingsview\Applied.java
 1 -
A
src\main\java\com\llat\algorithms\MainOperatorDetector.java
7 7 -
A
src\main\java\com\llat\models\symbols\Disjunction.java
 1 -
A
src\main\java\com\llat\models\symbols\Conjunction.java
 1 -
A
src\main\java\com\llat\models\localstorage\uidescription\settingsview\Theme.java
7 2 -
A
.github\workflows\maven.yml
 3 -
A
src\main\java\com\llat\algorithms\LogicalTautologyDeterminer.java
6 4 -
A
src\main\java\com\llat\algorithms\OpenTreeDeterminer.java
15 3 -
A
src\main\java\com\llat\algorithms\predicate\GroundSentenceDeterminer.java
5 3 -