NextClosuresState (Concept Explorer FX 6.0.0-SNAPSHOT API)

public final class NextClosuresState<G,M,C extends Set<M>>
extends Object

All Methods Static Methods Instance Methods Concrete Methods
Modifier and Type	Method and Description
`void`	`addCandidate(C candidate)`
`void`	`addNewCandidates(C intent)`
`Set<C>`	`getActualCandidates()`
`int`	`getActualCardinality()`
`int`	`getFirstPremiseSize(C candidate)`
`Pair<Set<Concept<G,M>>,Set<Implication<G,M>>>`	`getResultAndDispose()`
`void`	`increaseCardinality()`
`boolean`	`isNewIntent(C s)`
`static NextClosuresState<Integer,Integer,BitSetFX>`	`withBitSets(int max)`
`static <G,M> NextClosuresState<G,M,Set<M>>`	`withHashSets(Set<M> domain)`

public final Set<Concept<G,M>> concepts

public final Set<Implication<G,M>> implications

public final Map<C extends Set<M>,Integer> candidates

public static final <G,M> NextClosuresState<G,M,Set<M>> withHashSets(Set<M> domain)

public static final NextClosuresState<Integer,Integer,BitSetFX> withBitSets(int max)

public final Set<C> getActualCandidates()

public final int getFirstPremiseSize(C candidate)

public final boolean isNewIntent(C s)

public final void addNewCandidates(C intent)

public final void addCandidate(C candidate)

public final Pair<Set<Concept<G,M>>,Set<Implication<G,M>>> getResultAndDispose()

Class NextClosuresState<G,M,C extends Set<M>>