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\predicate\BoundVariableDetector.java
10 3 -
A
src\main\java\com\llat\input\interpreters\LLATParserInterpreter.java
4 15 -
A
src\main\java\com\llat\models\events\UpdateViewTruthTableEvent.java
4 2 -
A
src\main\java\com\llat\algorithms\predicate\RandomPredicateFormulaGenerator.java
31 5 -
A
src\main\java\com\llat\algorithms\LogicallyConsistentDeterminer.java
6 6 -
A
src\main\java\com\llat\models\localstorage\ItemObject.java
5 2 -
A
src\main\java\com\llat\input\tests\LexerTest.java
13 5 -
A
src\main\java\com\llat\models\localstorage\credentials\CredentialsAdaptor.java
3 5 -
A
src\main\java\com\llat\algorithms\PDFTruthTreePrinter.java
4 2 -
A
src\main\java\com\llat\models\localstorage\credentials\CredentialsObject.java
6 1 -
A
src\main\java\com\llat\algorithms\propositional\TexTablePrinter.java
10 5 -
A
src\main\java\com\llat\models\localstorage\settings\SettingsAdaptor.java
3 9 -
A
src\main\java\com\llat\algorithms\MainOperatorDetector.java
7 7 -
A
src\main\java\com\llat\algorithms\predicate\ClosedSentenceDeterminer.java
3 3 -
A
src\main\java\com\llat\input\tests\ParserTest.java
12 19 -
A
src\main\java\com\llat\main\App.java
3 17 -
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\auth\Login.java
 2 -
A
.github\workflows\maven.yml
 3 -