main
Logic-Learning-Assistance-Tool
Repository badge with A rating
View on GitHub
Grade
Name
Complexity
Churn
Issues
A
src\main\java\com\llat\database\Main.java
2 7 -
A
src\main\java\com\llat\models\events\UpdateViewParseTreeEvent.java
4 2 -
A
src\main\java\com\llat\algorithms\LogicallyEquivalentDeterminer.java
6 4 -
A
src\main\java\com\llat\algorithms\ArgumentTruthTreeValidator.java
9 3 -
A
src\main\java\com\llat\input\LLATParserAdapter.java
2 2 -
A
.github\workflows\maven.yml
 3 -
A
src\main\java\com\llat\input\events\GeneratedAbstractSyntaxTreeEvent.java
 1 -
A
src\main\java\com\llat\algorithms\models\NDWffTree.java
27 2 -
A
src\main\java\com\llat\input\events\SyntaxErrorEvent.java
2 2 -
A
src\main\java\com\llat\models\AlgorithmType.java
5 5 -
A
src\main\java\com\llat\input\events\UnsolvedFormulaEvent.java
1 2 -
A
src\main\java\com\llat\algorithms\predicate\BoundVariableDetector.java
10 3 -
A
src\main\java\com\llat\input\tests\LexerTest.java
13 5 -
A
src\main\java\com\llat\algorithms\MainOperatorDetector.java
7 7 -
A
src\main\java\com\llat\models\events\UpdateViewTruthTableEvent.java
4 2 -
A
src\main\java\com\llat\models\events\UpdateViewTruthEvent.java
4 2 -
A
src\main\java\com\llat\models\events\RandomGeneratedFormulaEvent.java
4 2 -
A
src\main\java\com\llat\main\App.java
3 17 -
A
src\main\java\com\llat\algorithms\LogicalTautologyDeterminer.java
6 4 -
A
src\main\java\com\llat\algorithms\predicate\GroundSentenceDeterminer.java
5 3 -