Package | Description |
---|---|
org.thegalactic.context |
This package is designed to represent contexts.
|
org.thegalactic.lattice |
This package is designed to represent lattice.
|
Modifier and Type | Method and Description |
---|---|
Lattice |
Context.subDirectDecomposition()
Returns the concept lattice of this component represented as a subdirect product of its irreductibles components.
|
Modifier and Type | Class and Description |
---|---|
class |
ConceptLattice
This class extends class
Lattice to provide specific methods to manipulate both a concept lattice or a closed set lattice. |
Modifier and Type | Method and Description |
---|---|
static Lattice |
LatticeFactory.booleanAlgebra(int n)
Returns the boolean algebra of cardinal 2^n.
|
static Lattice |
LatticeFactory.doublingConvex(Lattice l,
DAGraph c)
Returns lattice l in which convex c has been doubled.
|
Lattice |
ConceptLattice.getIrreduciblesReduction()
Returns a lattice where each join irreducible concept is replaced by a node containing the first element of set A, and each meet irreducible concept is replaced by a node contining the first element of set B.
|
Lattice |
ConceptLattice.getJoinReduction()
Returns a lattice where join irreducibles node’s content is replaced by the first element of set A.
|
Lattice |
ConceptLattice.getMeetReduction()
Returns a lattice where meet irreducibles node’s content is replaced by the first element of set B.
|
Lattice |
BijectiveComponents.getReducedLattice()
Returns the reduced lattice of this component.
|
static Lattice |
LatticeFactory.permutationLattice(int n)
Returns the lattice of permutations of 1..n.
|
static Lattice |
LatticeFactory.product(Lattice l,
Lattice r)
Returns the lattice cartesian product of l and r.
|
static Lattice<Integer,?> |
LatticeFactory.random(int nb)
Returns a randomly generated lattice with nb nodes.
|
protected Lattice |
Lattice.setDependencyGraph(ConcreteDGraph graph)
Set the dependency graph.
|
Modifier and Type | Method and Description |
---|---|
static Lattice |
LatticeFactory.doublingConvex(Lattice l,
DAGraph c)
Returns lattice l in which convex c has been doubled.
|
static Lattice |
LatticeFactory.product(Lattice l,
Lattice r)
Returns the lattice cartesian product of l and r.
|
static Lattice |
LatticeFactory.product(Lattice l,
Lattice r)
Returns the lattice cartesian product of l and r.
|
protected BijectiveComponents |
BijectiveComponents.setReducedLattice(Lattice reducedLattice)
Set the reduced lattice of this component.
|
Constructor and Description |
---|
ArrowRelation(Lattice lattice)
Unique constructor of this component from a lattice.
|
ConceptLattice(Lattice lattice)
Constructs this component as a shallow copy of the specified lattice.
|
Copyright © 2010–2016 The Galactic Organization. All rights reserved.