main
Logic-Learning-Assistance-Tool
Repository badge with A rating
View on GitHub
Grade
Name
Complexity
Churn
Issues
A
src\main\java\com\llat\tools\EventBus.java
6 8 -
A
src\main\java\com\llat\tools\Event.java
 1 -
A
src\main\java\com\llat\models\treenode\WffTree.java
112 21 1
A
src\main\java\com\llat\models\treenode\VariableNode.java
6 2 -
A
src\main\java\com\llat\models\treenode\UniversalQuantifierNode.java
8 2 -
A
src\main\java\com\llat\models\treenode\TruthNode.java
6 1 -
A
src\main\java\com\llat\models\treenode\QuantifierNode.java
4 1 -
A
src\main\java\com\llat\models\treenode\PredicateNode.java
15 3 -
A
src\main\java\com\llat\models\treenode\OrNode.java
8 6 -
A
src\main\java\com\llat\models\treenode\NodeType.java
 3 -
A
src\main\java\com\llat\models\treenode\NodeFlag.java
 1 -
A
src\main\java\com\llat\models\treenode\NegNode.java
9 7 -
A
src\main\java\com\llat\models\treenode\ImpNode.java
8 7 -
A
src\main\java\com\llat\models\treenode\IdentityNode.java
6 2 -
A
src\main\java\com\llat\models\treenode\FalseNode.java
6 1 -
A
src\main\java\com\llat\models\treenode\ExistentialQuantifierNode.java
8 2 -
A
src\main\java\com\llat\models\treenode\ExclusiveOrNode.java
8 5 -
A
src\main\java\com\llat\models\treenode\Copyable.java
1 2 -
A
src\main\java\com\llat\models\treenode\ConstantNode.java
6 2 -
A
src\main\java\com\llat\models\treenode\BicondNode.java
8 7 -