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 |