Uses of Interface
conexp.fx.core.context.Context

Packages that use Context

Package	Description
conexp.fx.core.algorithm.exploration
conexp.fx.core.algorithm.nextclosures
conexp.fx.core.context
conexp.fx.core.dl.deprecated
conexp.fx.core.math
conexp.fx.gui.exploration
conexp.fx.gui.graph.option

Uses of Context in conexp.fx.core.algorithm.exploration

Methods in conexp.fx.core.algorithm.exploration with parameters of type Context

Modifier and Type	Method and Description
static <M> Set<Implication<String,M>>	ParallelAttributeExploration.explore(Context<String,M> cxt, Set<Implication<String,M>> backgroundKnowledge, Expert<String,M> expert, ExecutorService executor, Consumer<Implication<String,M>> implicationConsumer, Consumer<String> updateStatus, Consumer<Double> updateProgress, Supplier<Boolean> isCancelled)
void	CounterExample.insertIn(Context<G,M> cxt)

Uses of Context in conexp.fx.core.algorithm.nextclosures

Methods in conexp.fx.core.algorithm.nextclosures with parameters of type Context

Modifier and Type	Method and Description
static <G,M> Pair<Set<Concept<G,M>>,Set<Implication<G,M>>>	NextClosures2Bit.bitCleanedCompute(Context<G,M> cxt, ExecutorService executor, Consumer<Concept<G,M>> conceptConsumer, Consumer<Implication<G,M>> implicationConsumer, Consumer<String> updateStatus, Consumer<Double> updateProgress, Supplier<Boolean> isCancelled)
static <G,M> Pair<Set<Concept<G,M>>,Set<Implication<G,M>>>	NextClosures2Bit.bitCompute(Context<G,M> cxt)
static <G,M> Pair<Set<Concept<G,M>>,Set<Implication<G,M>>>	NextClosures2Bit.bitCompute(Context<G,M> cxt, ExecutorService executor, Consumer<Concept<G,M>> conceptConsumer, Consumer<Implication<G,M>> implicationConsumer, Consumer<String> updateStatus, Consumer<Double> updateProgress, Supplier<Boolean> isCancelled)
static <G,M> Pair<Set<Concept<G,M>>,Set<Implication<G,M>>>	NextClosures2Bit.bitReducedCompute(Context<G,M> cxt, ExecutorService executor, Consumer<Concept<G,M>> conceptConsumer, Consumer<Implication<G,M>> implicationConsumer, Consumer<String> updateStatus, Consumer<Double> updateProgress, Supplier<Boolean> isCancelled)
static <G,M> NextClosures1.Result<G,M>	NextClosures1.compute(Context<G,M> cxt, boolean verbose)
static <G,M> NextClosures1.Result<G,M>	NextClosures1.compute(Context<G,M> cxt, boolean verbose, int cores)
static <G,M> NextClosures1.Result<G,M>	NextClosures1.compute(Context<G,M> cxt, boolean verbose, ThreadPoolExecutor tpe)
static <G,M> Pair<Set<Concept<G,M>>,Set<Implication<G,M>>>	NextClosures2.compute(Context<G,M> cxt, Collection<Implication<G,M>>... backgroundKnowledge)
static <G,M> Pair<Set<Concept<G,M>>,Set<Implication<G,M>>>	NextClosures2.compute(Context<G,M> cxt, ExecutorService executor, Collection<Implication<G,M>>... backgroundKnowledge)
static <G,M> Pair<Set<Concept<G,M>>,Set<Implication<G,M>>>	NextClosures2.compute(Context<G,M> cxt, ExecutorService executor, Consumer<Concept<G,M>> conceptConsumer, Consumer<Implication<G,M>> implicationConsumer, Consumer<String> updateStatus, Consumer<Double> updateProgress, Supplier<Boolean> isCancelled, Collection<Implication<G,M>>... backgroundKnowledge)
static <G,M> Pair<Set<Concept<G,M>>,Set<Implication<G,M>>>	NextClosures2C.compute(Context<G,M> cxt, ExecutorService executor, Consumer<Concept<G,M>> conceptConsumer, Consumer<Implication<G,M>> implicationConsumer, Consumer<String> updateStatus, Consumer<Double> updateProgress, Supplier<Boolean> isCancelled, SetClosureOperator<M> constraint)
static <G,M> Pair<Set<Concept<G,M>>,Set<Implication<G,M>>>	NextClosures2C.compute(Context<G,M> cxt, ExecutorService executor, SetClosureOperator<M> constraint)
static <G,M> Pair<Set<Concept<G,M>>,Set<Implication<G,M>>>	NextClosures2.compute(Context<G,M> cxt, int cores, Collection<Implication<G,M>>... backgroundKnowledge)
static <G,M> Pair<Set<Concept<G,M>>,Set<Implication<G,M>>>	NextClosures2C.compute(Context<G,M> cxt, int cores, SetClosureOperator<M> constraint)
static <G,M> Pair<Set<Concept<G,M>>,Set<Implication<G,M>>>	NextClosures2C.compute(Context<G,M> cxt, SetClosureOperator<M> constraint)
static <G,M> NextClosures1C.ResultC<G,M>	NextClosures1C.compute(Context<G,M> cxt, SetClosureOperator<M> clop, boolean verbose)
static <G,M> NextClosures1C.ResultC<G,M>	NextClosures1C.compute(Context<G,M> cxt, SetClosureOperator<M> clop, boolean verbose, int cores)
static <G,M> NextClosures1C.ResultC<G,M>	NextClosures1C.compute(Context<G,M> cxt, SetClosureOperator<M> clop, boolean verbose, ThreadPoolExecutor tpe)
static <G,M> NextClosures1C.ResultC<G,M>	NextClosures1C.computeAbove(Context<G,M> cxt, Collection<M> elements, boolean verbose)
static <G,M> NextClosures1C.ResultC<G,M>	NextClosures1C.computeBelow(Context<G,M> cxt, Collection<M> elements, boolean verbose)
static <G,M> NextClosures1C.ResultC<G,M>	NextClosures1C.computeByMaxCard(Context<G,M> cxt, int maxCard, boolean verbose)
static <G,M> NextClosures1C.ResultC<G,M>	NextClosures1C.computeIceberg(Context<G,M> cxt, int minSupp, boolean verbose)
static <G,M> NextClosures1C.ResultC<G,M>	NextClosures1C.computeWithBackgroundImplications(Context<G,M> cxt, Set<Implication<G,M>> backgroundImplications, boolean verbose)
static <G,M> Set<Implication<G,M>>	NextClosures2.transformToJoiningImplications(Context<G,M> cxt, Set<M> premises, Set<M> conclusions, Set<Implication<G,M>> implications)

Uses of Context in conexp.fx.core.context

Classes in conexp.fx.core.context that implement Context

Modifier and Type	Class and Description
class	AbstractContext<G,M>
class	MatrixContext<G,M>
class	SparseContext<G,M>

Fields in conexp.fx.core.context declared as Context

Modifier and Type	Field and Description
Context<Set<Integer>,Set<Integer>>	MatrixContext._cleaned
Context<Set<Integer>,Set<Integer>>	MatrixContext._reduced

Methods in conexp.fx.core.context that return Context

Modifier and Type	Method and Description
Context<G,M>	MatrixContext.complement()
Context<M,G>	MatrixContext.contrary()
Context<M,G>	MatrixContext.dual()
Context<G,M>	Context.getSelection()
Context<G,M>	MatrixContext.subRelation(Collection<?> objects, Collection<?> attributes)

Uses of Context in conexp.fx.core.dl.deprecated

Methods in conexp.fx.core.dl.deprecated that return Context

Modifier and Type	Method and Description
Context<I,C>	Interpretation.getInducedContext(Collection<I> individuals, int roleDepth, int maxCardinality, Constructor... constructors) Deprecated.
Context<org.semanticweb.owlapi.model.IRI,C>	AInterpretation.getInducedContext(Collection<org.semanticweb.owlapi.model.IRI> individuals, int roleDepth, int maxCardinality, Constructor... constructors) Deprecated.

Methods in conexp.fx.core.dl.deprecated with parameters of type Context

Modifier and Type	Method and Description
protected abstract Set<Implication<org.semanticweb.owlapi.model.IRI,C>>	AInterpretation.getBackgroundImplications(Context<org.semanticweb.owlapi.model.IRI,C> inducedContext, T backgroundTBox) Deprecated.
protected Set<Implication<org.semanticweb.owlapi.model.IRI,ELConceptDescription>>	ELInterpretation.getBackgroundImplications(Context<org.semanticweb.owlapi.model.IRI,ELConceptDescription> inducedContext, ELTBox backgroundTBox) Deprecated.
protected Set<Implication<org.semanticweb.owlapi.model.IRI,org.semanticweb.owlapi.model.OWLClassExpression>>	OWLInterpretation.getBackgroundImplications(Context<org.semanticweb.owlapi.model.IRI,org.semanticweb.owlapi.model.OWLClassExpression> inducedContext, org.semanticweb.owlapi.model.OWLOntology backgroundOntology) Deprecated.

Uses of Context in conexp.fx.core.math

Methods in conexp.fx.core.math with parameters of type Context

Modifier and Type	Method and Description
static <G,M> SetClosureOperator<M>	SetClosureOperator.byMinimalSupport(int minSupp, Context<G,M> cxt)
static <G,M> SetClosureOperator<M>	SetClosureOperator.fromContext(Context<G,M> cxt)
static <G,M> SetClosureOperator<M>	SetClosureOperator.joiningImplications(Context<G,M> cxt, Set<M> premises, Set<M> conclusions)

Uses of Context in conexp.fx.gui.exploration

Constructors in conexp.fx.gui.exploration with parameters of type Context

Constructor and Description
HumanExpertP(Context<String,M> cxt)

Uses of Context in conexp.fx.gui.graph.option

Methods in conexp.fx.gui.graph.option with parameters of type Context

Modifier and Type	Method and Description
abstract <G,M> String	AttributeLabelText.get(Context<G,M> context, ConceptLattice<G,M> lattice, Concept<G,M> concept)
abstract <G,M> String	ObjectLabelText.get(Context<G,M> context, ConceptLattice<G,M> lattice, Concept<G,M> concept)
abstract <G,M> double	VertexRadius.get(Context<G,M> context, ConceptLattice<G,M> lattice, Concept<G,M> concept)
abstract <G,M> double	EdgeStroke.get(Context<G,M> context, ConceptLattice<G,M> lattice, Pair<Concept<G,M>,Concept<G,M>> concepts)