getAssociationBasis(Context, double, double) | | 0% | | 0% | 6 | 6 | 24 | 24 | 1 | 1 |
hybridGenerators() | | 66% | | 50% | 6 | 9 | 9 | 28 | 0 | 1 |
getDependencyGraph() | | 84% | | 73% | 7 | 16 | 7 | 46 | 0 | 1 |
Lattice(DAGraph) | | 36% | | 50% | 1 | 2 | 3 | 7 | 0 | 1 |
isLattice() | | 93% | | 80% | 2 | 6 | 1 | 9 | 0 | 1 |
isCN() | | 99% | | 85% | 7 | 25 | 1 | 55 | 0 | 1 |
join(Node, Node) | | 96% | | 50% | 1 | 2 | 1 | 10 | 0 | 1 |
top() | | 88% | | 50% | 1 | 2 | 1 | 4 | 0 | 1 |
bottom() | | 88% | | 50% | 1 | 2 | 1 | 4 | 0 | 1 |
getImplicationalSystem() | | 100% | | 89% | 2 | 10 | 0 | 34 | 0 | 1 |
irreducibleClosure() | | 100% | | 100% | 0 | 8 | 0 | 27 | 0 | 1 |
joinClosure() | | 100% | | 100% | 0 | 6 | 0 | 21 | 0 | 1 |
meetClosure() | | 100% | | 100% | 0 | 6 | 0 | 21 | 0 | 1 |
getCanonicalDirectBasis() | | 100% | | 100% | 0 | 4 | 0 | 19 | 0 | 1 |
getTable() | | 100% | | 92% | 1 | 7 | 0 | 18 | 0 | 1 |
joinClosure(ComparableSet) | | 100% | | 100% | 0 | 5 | 0 | 17 | 0 | 1 |
meetClosure(ComparableSet) | | 100% | | 100% | 0 | 5 | 0 | 17 | 0 | 1 |
meet(Node, Node) | | 100% | | 100% | 0 | 2 | 0 | 10 | 0 | 1 |
joinIrreducibles() | | 100% | | 100% | 0 | 3 | 0 | 9 | 0 | 1 |
meetIrreducibles() | | 100% | | 100% | 0 | 3 | 0 | 9 | 0 | 1 |
fullClosure(ComparableSet) | | 100% | | 100% | 0 | 2 | 0 | 10 | 0 | 1 |
getMinimalGenerators() | | 100% | | 100% | 0 | 2 | 0 | 6 | 0 | 1 |
isAtomistic() | | 100% | | 75% | 1 | 3 | 0 | 3 | 0 | 1 |
joinIrreducibles(Node) | | 100% | | n/a | 0 | 1 | 0 | 5 | 0 | 1 |
isCoAtomistic() | | 100% | | 75% | 1 | 3 | 0 | 3 | 0 | 1 |
meetIrreducibles(Node) | | 100% | | n/a | 0 | 1 | 0 | 4 | 0 | 1 |
irreduciblesSubgraph() | | 100% | | n/a | 0 | 1 | 0 | 3 | 0 | 1 |
Lattice(SortedSet) | | 100% | | n/a | 0 | 1 | 0 | 3 | 0 | 1 |
joinIrreduciblesSubgraph() | | 100% | | n/a | 0 | 1 | 0 | 2 | 0 | 1 |
meetIrreduciblesSubgraph() | | 100% | | n/a | 0 | 1 | 0 | 2 | 0 | 1 |
hasDependencyGraph() | | 100% | | 100% | 0 | 2 | 0 | 1 | 0 | 1 |
Lattice() | | 100% | | n/a | 0 | 1 | 0 | 3 | 0 | 1 |
setDependencyGraph(ConcreteDGraph) | | 100% | | n/a | 0 | 1 | 0 | 2 | 0 | 1 |
getArrowRelation() | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |