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\LogicalTautologyDeterminer.java
6 4 -
A
src\main\java\com\llat\algorithms\predicate\RandomPredicateFormulaGenerator.java
31 5 -
A
src\main\java\com\llat\models\treenode\ExclusiveOrNode.java
8 5 -
A
src\main\java\com\llat\models\localstorage\credentials\CredentialsAdaptor.java
3 5 -
A
src\main\java\com\llat\algorithms\propositional\TexTablePrinter.java
10 5 -
A
src\main\java\com\llat\views\interpreters\HistoryViewInterpreter.java
7 5 -
A
src\main\java\com\llat\views\menu\items\ExportLaTeXTruthTreeItem.java
2 5 -
A
src\main\java\com\llat\algorithms\LogicallyContraryDeterminer.java
7 5 -
A
src\main\java\com\llat\input\LLATErrorListener.java
24 5 1
A
src\main\java\com\llat\views\menu\items\ExportLaTeXParseTreeItem.java
2 5 -
A
src\main\java\com\llat\input\tests\LexerTest.java
13 5 -
A
src\main\java\com\llat\views\menu\items\ExportLaTeXTruthTableItem.java
2 5 -
A
src\main\java\com\llat\models\AlgorithmType.java
5 5 -
A
src\main\java\com\llat\models\treenode\AndNode.java
8 6 -
A
src\main\java\com\llat\algorithms\LogicallyConsistentDeterminer.java
6 6 -
A
src\main\java\com\llat\models\treenode\OrNode.java
8 6 -
A
src\main\java\com\llat\translate\GoogleTranslatorAPI.java
6 6 -
A
src\main\java\com\llat\database\AWSDatabase.java
35 6 -
A
src\main\java\com\llat\views\interpreters\ExportMenuInterpreter.java
8 6 -
A
src\main\java\com\llat\views\LLATErrorView.java
5 6 -