main
Logic-Learning-Assistance-Tool
Repository badge with A rating
View on GitHub
Grade
Name
Complexity
Churn
Issues
A
src\main\java\com\llat\views\events\AlgorithmSelectionViewInitializedEvent.java
1 3 -
A
src\main\java\com\llat\views\TruthTableView.java
4 3 -
A
src\main\java\com\llat\views\events\ExportLaTeXTruthTreeEvent.java
2 3 -
A
src\main\java\com\llat\views\SymbolButton.java
4 3 -
A
src\main\java\com\llat\models\localstorage\uidescription\menubar\MenuBar.java
8 3 -
A
src\test\java\com\llat\algorithms\PropositionalTruthTreeGeneratorUnitTester.java
23 3 -
A
.github\workflows\maven.yml
 3 -
A
src\main\java\com\llat\algorithms\predicate\BoundVariableDetector.java
10 3 -
A
src\main\java\com\llat\algorithms\ArgumentTruthTreeValidator.java
9 3 -
A
src\main\java\com\llat\algorithms\predicate\ClosedSentenceDeterminer.java
3 3 -
A
src\main\java\com\llat\models\treenode\NodeType.java
 3 -
A
src\main\java\com\llat\algorithms\predicate\FreeVariableDetector.java
11 3 -
A
src\main\java\com\llat\models\localstorage\uidescription\settingsview\SettingsView.java
10 3 -
A
src\main\java\com\llat\algorithms\OpenTreeDeterminer.java
15 3 -
A
src\main\java\com\llat\algorithms\predicate\GroundSentenceDeterminer.java
5 3 -
A
src\main\java\com\llat\tools\MouseManager.java
7 2 -
A
src\main\java\com\llat\tools\TexPrintable.java
1 2 -
A
src\main\java\com\llat\models\events\RandomGeneratedFormulaEvent.java
4 2 -
A
src\main\java\com\llat\tools\Listener.java
1 2 -
A
src\main\java\com\llat\models\events\SetAlgorithmInputEvent.java
3 2 -