• Features
  • Pricing
  • Contact
    Login with:
  • Features
  • Pricing
  • Contact
Login with:
main
Logic-Learning-Assistance-Tool
Repository badge with A rating
View on GitHub

  • 36 issues
  • 0 pull requests
  • 259 files
  • 4 active branches

CodeFactor Rating A

  • {{format.Name}}
Grade
Name
Complexity
Churn
Issues
A
src\main\java\com\llat\algorithms\models\NDWffTree.java
27 2 -
A
src\main\java\com\llat\views\SettingsView.java
28 14 -
A
src\main\java\com\llat\algorithms\predicate\RandomPredicateFormulaGenerator.java
31 5 -
A
src\test\java\com\llat\algorithms\ArgumentTruthTreeValidatorUnitTester.java
33 2 -
A
src\main\java\com\llat\database\AWSDatabase.java
35 6 -
A
src\main\java\com\llat\models\interpreters\LogicSetupInterpreter.java
38 15 2
A
src\main\java\com\llat\models\localstorage\uidescription\mainview\MainViewLabels.java
38 3 -
A
src\test\java\com\llat\algorithms\MainOperatorDetectorUnitTester.java
38 7 -
A
src\main\java\com\llat\views\interpreters\TruthTreeInterpreter.java
40 15 -
A
src\test\java\com\llat\algorithms\PredicateTruthTreeGeneratorUnitTester.java
40 9 -
A
src\main\java\com\llat\algorithms\predicate\PredicateTruthTreeGenerator.java
42 13 2
A
src\main\java\com\llat\algorithms\propositional\TruthTableGenerator.java
47 3 -
A
src\main\java\com\llat\input\LLATParserListener.java
51 11 -
A
src\main\java\com\llat\algorithms\BaseTruthTreeGenerator.java
70 12 1
A
src\main\java\com\llat\models\LogicSetup.java
74 12 1
A
src\main\java\com\llat\controller\Controller.java
75 35 -
A
src\main\java\com\llat\algorithms\models\TruthTree.java
87 14 2
A
src\main\java\com\llat\algorithms\ArgumentNaturalDeductionValidator.java
92 3 1
A
src\main\java\com\llat\models\treenode\WffTree.java
112 21 1
  • Previous Page
  • Security
  • Terms
  • Privacy
  • Contact
© 2025 CodeFactor

We use cookies in order to offer you the most relevant information. See our Privacy Policy.