BijectiveComponents (lattices 2.0.0-SNAPSHOT API)

java.lang.Object
- org.thegalactic.lattice.BijectiveComponents

```
public class BijectiveComponents
extends Object
```
This class generates bijective components issued from lattice theory for a specified closure system.

Bijective components are: closed set lattice or concept lattice, reduced lattice, reduced context, canonical direct basis, minimal generators and canonical basis, dependency graph.

A closure system is described by the abstract class ClosureSystem. In this package, a closure system can be instancied by an implicational system described by class ImplicationalSystem) or a context described by class Context).

This class provides a constructor, and only two methods: the method compute() generates all the bijective components of the specified closure system; and the method save(java.lang.String, java.lang.String) saves theses components in files.

This class can be used as follows:
```
BijectiveComponents bc = new BijectiveComponents(initialClosureSystem);
bc.compute();
bc.save(dirString,nameString);
```

Constructor Summary

Constructors
Constructor and Description

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

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

Method Summary

All Methods Instance Methods Concrete Methods
Modifier and Type	Method and Description
`long`	`compute()` Generates all the bijective components included in this component issued from the initial closure system `closureSystem`.
`ImplicationalSystem`	`getCanonicalBasis()` Returns the canonical basis of this component.
`ImplicationalSystem`	`getCanonicalDirectBasis()` Returns the canonical direct basis of this component.
`ClosureSystem`	`getClosureSystem()` Returns the closure system of this component.
`ConcreteDGraph`	`getDependencyGraph()` Returns the dependency graph of this component.
`ConceptLattice`	`getLattice()` Returns the lattice of this component.
`TreeSet<ComparableSet>`	`getMinimalGenerators()` Returns the minimal generators of this component.
`Lattice`	`getReducedLattice()` Returns the reduced lattice of this component.
`Context`	`getTable()` Returns the Table of this component.
`BijectiveComponents`	`initialise(ClosureSystem closureSystem)` Initialise the closure system.
`void`	`save(String directory, String name)` Saves all the bijective components included in this component in files saved in the specified directory.
`protected BijectiveComponents`	`setCanonicalBasis(ImplicationalSystem canonicalBasis)` Set the canonical basis of this component.
`protected BijectiveComponents`	`setCanonicalDirectBasis(ImplicationalSystem canonicalDirectBasis)` Set the canonical direct basis of this component.
`protected BijectiveComponents`	`setClosureSystem(ClosureSystem closureSystem)` Set the closure system of this component.
`protected BijectiveComponents`	`setDependencyGraph(ConcreteDGraph dependencyGraph)` Set the dependency graph of this component.
`protected BijectiveComponents`	`setLattice(ConceptLattice lattice)` Set the lattice of this component.
`protected BijectiveComponents`	`setMinimalGenerators(TreeSet<ComparableSet> minimalGenerators)` Set the minimal generators of this component.
`protected BijectiveComponents`	`setReducedLattice(Lattice reducedLattice)` Set the reduced lattice of this component.
`protected BijectiveComponents`	`setTable(Context table)` Set the Table of this component.

Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

- Constructor Detail
  - BijectiveComponents
```
public BijectiveComponents(ClosureSystem closureSystem)
```
    Constructs this component with the specified Closure System as initial closure system.
    
    Parameters:
    
    closureSystem - initial closure system
- Method Detail
  - initialise
```
public BijectiveComponents initialise(ClosureSystem closureSystem)
```
    Initialise the closure system.
    
    Parameters:
    
    closureSystem - initial closure system
    
    Returns:
    
    this for chaining
  - compute
```
public long compute()
```
    Generates all the bijective components included in this component issued from the initial closure system closureSystem.
    
    The closed set lattice is generated and obtained by
```
this.getClosureSystem().lattice();
```
    The reduced lattice is obtained by
```
this.getLattice().getIrreduciblesReduction();
```
    The reduced table is obtained by
```
this.getReducedLattice().getTable();
```
    The dependency graph is obtained by
```
this.getReducedLattice().getDependencyGraph();
```
    Minimal generators are obtained by
```
this.getReducedLattice().getMinimalGenerators();
```
    The canonical direct basis is obtained by
```
this.getReducedLattice().getCanonicalDirectBasis();
```
    The canonical basis is obtained by
```
(new
ImplicationalSystem(this.canonicalDirectBasis)).makeCanonicalBasis();
```
    Returns:
    
    time of computation
  - save
```
public void save(String directory,
                 String name)
          throws IOException
```
    Saves all the bijective components included in this component in files saved in the specified directory. A global description is saved in file name+"Readme.txt".
    
    The specified name is used to defined a name for each file.
    
    Parameters:
    
    directory - location to save file
    
    name - name of the files
    
    Throws:
    
    IOException - When an IOException occurs
  - getClosureSystem
```
public ClosureSystem getClosureSystem()
```
    Returns the closure system of this component.
    
    Returns:
    
    closure system of this component
  - setClosureSystem
```
protected BijectiveComponents setClosureSystem(ClosureSystem closureSystem)
```
    Set the closure system of this component.
    
    Parameters:
    
    closureSystem - used to define field of this component
    
    Returns:
    
    this for chaining
  - getLattice
```
public ConceptLattice getLattice()
```
    Returns the lattice of this component.
    
    Returns:
    
    lattice of this component
  - setLattice
```
protected BijectiveComponents setLattice(ConceptLattice lattice)
```
    Set the lattice of this component.
    
    Parameters:
    
    lattice - used to define field of this component
    
    Returns:
    
    this for chaining
  - getReducedLattice
```
public Lattice getReducedLattice()
```
    Returns the reduced lattice of this component.
    
    Returns:
    
    reduced lattice of this component
  - setReducedLattice
```
protected BijectiveComponents setReducedLattice(Lattice reducedLattice)
```
    Set the reduced lattice of this component.
    
    Parameters:
    
    reducedLattice - used to define field of this component
    
    Returns:
    
    this for chaining
  - getDependencyGraph
```
public ConcreteDGraph getDependencyGraph()
```
    Returns the dependency graph of this component.
    
    Returns:
    
    dependencyGraph dependency graph of this component
  - setDependencyGraph
```
protected BijectiveComponents setDependencyGraph(ConcreteDGraph dependencyGraph)
```
    Set the dependency graph of this component.
    
    Parameters:
    
    dependencyGraph - used to define field of this component
    
    Returns:
    
    this for chaining
  - getMinimalGenerators
```
public TreeSet<ComparableSet> getMinimalGenerators()
```
    Returns the minimal generators of this component.
    
    Returns:
    
    minimal generators of this component
  - getCanonicalDirectBasis
```
public ImplicationalSystem getCanonicalDirectBasis()
```
    Returns the canonical direct basis of this component.
    
    Returns:
    
    the canonical direct basis of this component
  - getCanonicalBasis
```
public ImplicationalSystem getCanonicalBasis()
```
    Returns the canonical basis of this component.
    
    Returns:
    
    the canonical basis of this component
  - getTable
```
public Context getTable()
```
    Returns the Table of this component.
    
    Returns:
    
    table of this component
  - setMinimalGenerators
```
protected BijectiveComponents setMinimalGenerators(TreeSet<ComparableSet> minimalGenerators)
```
    Set the minimal generators of this component.
    
    Parameters:
    
    minimalGenerators - used to define field of this component
    
    Returns:
    
    this for chaining
  - setCanonicalDirectBasis
```
protected BijectiveComponents setCanonicalDirectBasis(ImplicationalSystem canonicalDirectBasis)
```
    Set the canonical direct basis of this component.
    
    Parameters:
    
    canonicalDirectBasis - used to define field of this component
    
    Returns:
    
    return this for chaining
  - setCanonicalBasis
```
protected BijectiveComponents setCanonicalBasis(ImplicationalSystem canonicalBasis)
```
    Set the canonical basis of this component.
    
    Parameters:
    
    canonicalBasis - used to define field of this component
    
    Returns:
    
    this for chaining
  - setTable
```
protected BijectiveComponents setTable(Context table)
```
    Set the Table of this component.
    
    Parameters:
    
    table - used to define field of this component
    
    Returns:
    
    this for chaining

Class BijectiveComponents

Constructor Summary

Method Summary

Methods inherited from class java.lang.Object

Constructor Detail

BijectiveComponents

Method Detail

initialise

compute

save

getClosureSystem

setClosureSystem

getLattice

setLattice

getReducedLattice

setReducedLattice

getDependencyGraph

setDependencyGraph

getMinimalGenerators

getCanonicalDirectBasis

getCanonicalBasis

getTable

setMinimalGenerators

setCanonicalDirectBasis

setCanonicalBasis

setTable