conexp.fx.core.context

Class MatrixContext<G,M>

java.lang.Object

conexp.fx.core.collections.relation.AbstractRelation<R,C>

conexp.fx.core.collections.relation.MatrixRelation<G,M>

conexp.fx.core.context.MatrixContext<G,M>

All Implemented Interfaces:

Relation<G,M>, Context<G,M>, PartialComparable<Relation<G,M>>, Cloneable, Comparable<Relation<G,M>>, Iterable<Pair<G,M>>

public class MatrixContext<G,M>
extends MatrixRelation<G,M>
implements Context<G,M>

Nested Class Summary

Nested Classes

Modifier and Type	Class and Description
static class	MatrixContext.AutomaticMode
static class	MatrixContext.Incidence

Nested classes/interfaces inherited from interface conexp.fx.core.collections.relation.Relation

Relation.NoHomogenRelationException

Field Summary

Fields

Modifier and Type	Field and Description
GuavaIsomorphism<Set<Integer>,Set<M>>	_allAttributes
GuavaIsomorphism<Set<Integer>,Set<G>>	_allObjects
SetList<Set<Integer>>	_attributes
Context<Set<Integer>,Set<Integer>>	_cleaned
Relation<Set<Integer>,Set<Integer>>	_downArrows
Relation<Set<Integer>,Set<Integer>>	_downPaths
com.google.common.base.Function<Iterable<Integer>,M>	_firstAttribute
com.google.common.base.Function<Iterable<Integer>,G>	_firstObject
SetList<Set<Integer>>	_irreducibleAttributes
SetList<Set<Integer>>	_irreducibleObjects
SetList<Set<Integer>>	_objects
Context<Set<Integer>,Set<Integer>>	_reduced
Relation<Set<Integer>,Set<Integer>>	_upArrows
Relation<Set<Integer>,Set<Integer>>	_upPaths
AbstractContext<Set<G>,Set<M>>	cleaned
AbstractRelation<Set<G>,Set<M>>	downArrows
AbstractRelation<G,M>	DownArrows
AbstractRelation<Set<G>,Set<M>>	downPaths
AbstractRelation<G,M>	DownPaths
javafx.beans.property.StringProperty	id
AbstractContext<Set<G>,Set<M>>	reduced
MatrixContext<G,M>	selection
AbstractRelation<Set<G>,Set<M>>	upArrows
AbstractRelation<G,M>	UpArrows
AbstractRelation<Set<G>,Set<M>>	upPaths
AbstractRelation<G,M>	UpPaths

Fields inherited from class conexp.fx.core.collections.relation.MatrixRelation

matrix

Fields inherited from class conexp.fx.core.collections.relation.AbstractRelation

colHeads, homogen, rowHeads

Constructor Summary

Constructors

Constructor and Description
MatrixContext(boolean homogen)
MatrixContext(boolean homogen, MatrixContext.AutomaticMode automaticMode)
MatrixContext(SetList<G> objects, SetList<M> attributes, boolean homogen)
MatrixContext(SetList<G> objects, SetList<M> attributes, org.ujmp.core.booleanmatrix.BooleanMatrix matrix, boolean homogen)
MatrixContext(SetList<G> objects, SetList<M> attributes, org.ujmp.core.booleanmatrix.BooleanMatrix matrix, boolean homogen, MatrixContext.AutomaticMode automaticMode)
MatrixContext(SetList<G> objects, SetList<M> attributes, boolean homogen, MatrixContext.AutomaticMode automaticMode)

Method Summary

Modifier and Type	Method and Description
Relation<Integer,Integer>	_attributeEquivalence()
Collection<Integer>	_extent(Collection<Integer> rowIndices, Collection<Integer> subRowIndices, Collection<Integer> subColumnIndices)
Collection<Integer>	_extent(int... rowIndices)
Collection<Integer>	_extent(Iterable<Integer> rowIndices)
Collection<Integer>	_intent(Collection<Integer> columnIndices, Collection<Integer> subRowIndices, Collection<Integer> subColumnIndices)
Collection<Integer>	_intent(int... columnIndices)
Collection<Integer>	_intent(Iterable<Integer> columnIndices)
Relation<Integer,Integer>	_objectEquivalence()
Concept<G,M>	attributeConcept(M m)
SetList<M>	attributeLabels(Set<G> extent, Set<M> intent)
Relation<M,M>	attributeQuasiOrder()
Concept<G,M>	bottomConcept()
void	clean()
MatrixContext<G,M>	clone()
Context<G,M>	complement()
Iterable<Concept<G,M>>	concepts()
Context<M,G>	contrary()
void	deselectAllAttributes()
void	deselectAllObjects()
void	deselectAttribute(M attribute)
void	deselectObject(G object)
Context<M,G>	dual()
Set<G>	extent(Collection<?> objects)
Set<G>	extent(Object... objects)
Relation<Pair<G,M>,Pair<G,M>>	ferrersGraph()
Set<M>	getEquivalenceClass(M m)
MatrixContext<G,M>	getSelection()
Pair<MatrixContext.Incidence,MatrixContext.Incidence>	getValue(G g, M m, boolean... withArrows)
Set<M>	infimumIrreducibles()
void	initHandlers(boolean selfSelecting, MatrixContext.AutomaticMode auto)
Set<M>	intent(Collection<?> attributes)
Set<M>	intent(Object... attributes)
boolean	isIrreducible(M m)
void	lock()
Concept<G,M>	objectConcept(G g)
SetList<G>	objectLabels(Set<G> extent, Set<M> intent)
Relation<G,G>	objectQuasiOrder()
void	reduce()
void	select()
void	selectAllAttributes()
void	selectAllObjects()
void	selectAttribute(M attribute)
Set<M>	selectedAttributes()
Set<G>	selectedObjects()
void	selectObject(G object)
Context<G,M>	subRelation(Collection<?> objects, Collection<?> attributes)
Set<G>	supremumIrreducibles()
Concept<G,M>	topConcept()
String	toString()
void	unlock()

Methods inherited from class conexp.fx.core.collections.relation.MatrixRelation

_add, _col, _col, _colAnd, _colAnd, _colAnd, _contains, _flip, _remove, _row, _row, _rowAnd, _rowAnd, _rowAnd, add, addAll, addAllFast, addEventHandler, addFast, addFastSilent, col, colAnd, contains, containsAll, dispose, empty, fill, hasEventHandlers, hashCode, isAcyclic, isAlternative, isAntisymmetric, isAsymmetric, isAtransitive, isConnex, isCyclic, isEmpty, isFull, isIrreflexive, isLeftComparative, isNAcyclic, isNAtransitive, isNCyclic, isNegativAtransitive, isNegativeTransitive, isNTransitive, isQuasiconnex, isReflexive, isRightComparative, isSymmetric, isTransitive, iterator, matrix, neighborhood, order, push, pushAllChangedEvent, remove, removeAll, removeEventHandler, retainAll, row, rowAnd, setContent, setMatrix, size, subRelation, toArray

Methods inherited from class conexp.fx.core.collections.relation.AbstractRelation

checkHomogen, colAnd, colHeads, compareTo, equals, equivalenceClasses, filter, fromPredicate, fromPredicate, greater, greaterEq, isHomogen, rowAnd, rowHeads, smaller, smallerEq, uncomparable

Methods inherited from class java.lang.Object

finalize, getClass, notify, notifyAll, wait, wait, wait

Methods inherited from interface conexp.fx.core.context.Context

has, models, models, toMatrixContext

Methods inherited from interface conexp.fx.core.collections.relation.Relation

add, addAll, addAllFast, addFast, col, colAnd, colAnd, colHeads, contains, containsAll, density, dispose, empty, equivalenceClasses, fill, filter, isEmpty, isFull, isHomogen, neighborhood, order, remove, removeAll, retainAll, row, rowAnd, rowAnd, rowHeads, size, toArray

Methods inherited from interface java.lang.Iterable

forEach, iterator, spliterator

Methods inherited from interface conexp.fx.core.math.PartialComparable

equivalent, greater, greaterEq, smaller, smallerEq, uncomparable

Methods inherited from interface java.lang.Comparable

compareTo

Field Detail

id

public final javafx.beans.property.StringProperty id

selection

public MatrixContext<G,M> selection

_objects

public final SetList<Set<Integer>> _objects

_attributes

public final SetList<Set<Integer>> _attributes

_cleaned

public final Context<Set<Integer>,Set<Integer>> _cleaned

_downArrows

public Relation<Set<Integer>,Set<Integer>> _downArrows

_upArrows

public Relation<Set<Integer>,Set<Integer>> _upArrows

_downPaths

public Relation<Set<Integer>,Set<Integer>> _downPaths

_upPaths

public Relation<Set<Integer>,Set<Integer>> _upPaths

_irreducibleObjects

public final SetList<Set<Integer>> _irreducibleObjects

_irreducibleAttributes

public final SetList<Set<Integer>> _irreducibleAttributes

_reduced

public final Context<Set<Integer>,Set<Integer>> _reduced

_firstObject

public final com.google.common.base.Function<Iterable<Integer>,G> _firstObject

_firstAttribute

public final com.google.common.base.Function<Iterable<Integer>,M> _firstAttribute

_allObjects

public final GuavaIsomorphism<Set<Integer>,Set<G>> _allObjects

_allAttributes

public final GuavaIsomorphism<Set<Integer>,Set<M>> _allAttributes

cleaned

public final AbstractContext<Set<G>,Set<M>> cleaned

reduced

public final AbstractContext<Set<G>,Set<M>> reduced

downArrows

public final AbstractRelation<Set<G>,Set<M>> downArrows

upArrows

public final AbstractRelation<Set<G>,Set<M>> upArrows

DownArrows

public final AbstractRelation<G,M> DownArrows

UpArrows

public final AbstractRelation<G,M> UpArrows

downPaths

public final AbstractRelation<Set<G>,Set<M>> downPaths

upPaths

public final AbstractRelation<Set<G>,Set<M>> upPaths

DownPaths

public final AbstractRelation<G,M> DownPaths

UpPaths

public final AbstractRelation<G,M> UpPaths

Constructor Detail

MatrixContext

public MatrixContext(boolean homogen)

MatrixContext

public MatrixContext(SetList<G> objects,
                     SetList<M> attributes,
                     boolean homogen)

MatrixContext

public MatrixContext(SetList<G> objects,
                     SetList<M> attributes,
                     org.ujmp.core.booleanmatrix.BooleanMatrix matrix,
                     boolean homogen)

MatrixContext

public MatrixContext(boolean homogen,
                     MatrixContext.AutomaticMode automaticMode)

MatrixContext

public MatrixContext(SetList<G> objects,
                     SetList<M> attributes,
                     boolean homogen,
                     MatrixContext.AutomaticMode automaticMode)

MatrixContext

public MatrixContext(SetList<G> objects,
                     SetList<M> attributes,
                     org.ujmp.core.booleanmatrix.BooleanMatrix matrix,
                     boolean homogen,
                     MatrixContext.AutomaticMode automaticMode)

Method Detail

lock

public final void lock()

unlock

public final void unlock()

initHandlers

public void initHandlers(boolean selfSelecting,
                         MatrixContext.AutomaticMode auto)

select

public final void select()

clean

public final void clean()

reduce

public final void reduce()

getValue

public final Pair<MatrixContext.Incidence,MatrixContext.Incidence> getValue(G g,
                                                                            M m,
                                                                            boolean... withArrows)

concepts

public final Iterable<Concept<G,M>> concepts()

objectQuasiOrder

public final Relation<G,G> objectQuasiOrder()

Specified by:

objectQuasiOrder in interface Context<G,M>

attributeQuasiOrder

public final Relation<M,M> attributeQuasiOrder()

Specified by:

attributeQuasiOrder in interface Context<G,M>

_objectEquivalence

public final Relation<Integer,Integer> _objectEquivalence()

_attributeEquivalence

public final Relation<Integer,Integer> _attributeEquivalence()

infimumIrreducibles

public final Set<M> infimumIrreducibles()

supremumIrreducibles

public final Set<G> supremumIrreducibles()

extent

public final Set<G> extent(Object... objects)

Specified by:

extent in interface Context<G,M>

intent

public final Set<M> intent(Object... attributes)

Specified by:

intent in interface Context<G,M>

extent

public final Set<G> extent(Collection<?> objects)

Specified by:

extent in interface Context<G,M>

intent

public final Set<M> intent(Collection<?> attributes)

Specified by:

intent in interface Context<G,M>

_extent

public final Collection<Integer> _extent(int... rowIndices)

_intent

public final Collection<Integer> _intent(int... columnIndices)

_extent

public final Collection<Integer> _extent(Iterable<Integer> rowIndices)

_intent

public final Collection<Integer> _intent(Iterable<Integer> columnIndices)

_extent

public final Collection<Integer> _extent(Collection<Integer> rowIndices,
                                         Collection<Integer> subRowIndices,
                                         Collection<Integer> subColumnIndices)

_intent

public final Collection<Integer> _intent(Collection<Integer> columnIndices,
                                         Collection<Integer> subRowIndices,
                                         Collection<Integer> subColumnIndices)

topConcept

public final Concept<G,M> topConcept()

bottomConcept

public final Concept<G,M> bottomConcept()

objectConcept

public final Concept<G,M> objectConcept(G g)

attributeConcept

public final Concept<G,M> attributeConcept(M m)

objectLabels

public final SetList<G> objectLabels(Set<G> extent,
                                     Set<M> intent)

attributeLabels

public final SetList<M> attributeLabels(Set<G> extent,
                                        Set<M> intent)

selectAttribute

public final void selectAttribute(M attribute)

deselectAttribute

public final void deselectAttribute(M attribute)

selectAllAttributes

public final void selectAllAttributes()

deselectAllAttributes

public final void deselectAllAttributes()

selectedAttributes

public final Set<M> selectedAttributes()

selectObject

public final void selectObject(G object)

deselectObject

public final void deselectObject(G object)

selectAllObjects

public final void selectAllObjects()

deselectAllObjects

public final void deselectAllObjects()

selectedObjects

public final Set<G> selectedObjects()

getSelection

public final MatrixContext<G,M> getSelection()

Specified by:

getSelection in interface Context<G,M>

subRelation

public final Context<G,M> subRelation(Collection<?> objects,
                                      Collection<?> attributes)

Specified by:

subRelation in interface Relation<G,M>

Overrides:

subRelation in class MatrixRelation<G,M>

dual

public final Context<M,G> dual()

complement

public final Context<G,M> complement()

contrary

public final Context<M,G> contrary()

ferrersGraph

public final Relation<Pair<G,M>,Pair<G,M>> ferrersGraph()

clone

public MatrixContext<G,M> clone()

Specified by:

clone in interface Relation<G,M>

Specified by:

clone in interface Context<G,M>

Overrides:

clone in class MatrixRelation<G,M>

toString

public String toString()

Overrides:

toString in class AbstractRelation<G,M>

getEquivalenceClass

public Set<M> getEquivalenceClass(M m)

isIrreducible

public boolean isIrreducible(M m)