Uses of Class
org.thegalactic.lattice.ClosureSystem

Packages that use ClosureSystem

Package	Description
org.thegalactic.context	This package is designed to represent contexts.
org.thegalactic.lattice	This package is designed to represent lattice.
org.thegalactic.rule	This package is designed to represent rules.

Uses of ClosureSystem in org.thegalactic.context

Subclasses of ClosureSystem in org.thegalactic.context

Modifier and Type	Class and Description
class	Context This class gives a standard representation for a context.

Uses of ClosureSystem in org.thegalactic.lattice

Methods in org.thegalactic.lattice that return ClosureSystem

Modifier and Type	Method and Description
ClosureSystem	BijectiveComponents.getClosureSystem() Returns the closure system of this component.

Methods in org.thegalactic.lattice with parameters of type ClosureSystem

Modifier and Type	Method and Description
static ConceptLattice	ConceptLattice.completeLattice(ClosureSystem init) Generates and returns the complete (i.e.
static ConceptLattice	ConceptLattice.diagramLattice(ClosureSystem init) Generates and returns the Hasse diagram of the closed set lattice of the specified closure system, that can be an implicational system (ImplicationalSystem) or a context.
ArrayList<TreeSet<Comparable>>	Concept.immediateSuccessors(ClosureSystem init) Returns the list of immediate successors of a given node of the lattice.
Vector<TreeSet<Comparable>>	ConceptLattice.immediateSuccessors(Node n, ClosureSystem init) Returns the list of immediate successors of a given node of the lattice.
BijectiveComponents	BijectiveComponents.initialise(ClosureSystem closureSystem) Initialise the closure system.
void	ConceptLattice.recursiveDiagramLattice(Concept n, ClosureSystem init) Returns the Hasse diagramme of the closed set lattice of the specified closure system issued from the specified concept.
protected BijectiveComponents	BijectiveComponents.setClosureSystem(ClosureSystem closureSystem) Set the closure system of this component.

Constructors in org.thegalactic.lattice with parameters of type ClosureSystem

Constructor and Description
BijectiveComponents(ClosureSystem closureSystem) Constructs this component with the specified Closure System as initial closure system.

Uses of ClosureSystem in org.thegalactic.rule

Subclasses of ClosureSystem in org.thegalactic.rule

Modifier and Type	Class and Description
class	ImplicationalSystem This class gives a representation for an implicational system (ImplicationalSystem), a set of rules.