Modifier and Type | Field and Description |
---|---|
protected MatrixContext<G,M> |
AttributeExploration.context |
Modifier and Type | Method and Description |
---|---|
MatrixContext<G,M> |
AttributeExploration.getFormalContext() |
Modifier and Type | Method and Description |
---|---|
static <G,M> Set<Implication<G,M>> |
AttributeExploration.getCanonicalBase(MatrixContext<G,M> context) |
static AttributeExploration<String,String> |
AttributeExploration.withHumanExpert(MatrixContext<String,String> context)
This method may only be called within an instance of Concept Explorer FX.
|
Constructor and Description |
---|
AttributeExploration(MatrixContext<G,M> context,
Expert<G,M> expert)
Constructs a new attribute exploration process.
|
Modifier and Type | Method and Description |
---|---|
static <G,M> ConceptLattice<G,M> |
IPred.getConceptLattice(MatrixContext<G,M> cxt,
Set<Concept<G,M>> concepts) |
Modifier and Type | Method and Description |
---|---|
static <G,M> Pair<Set<Concept<G,M>>,Set<Implication<G,M>>> |
NextClosure.conceptsAndImplications(MatrixContext<G,M> cxt) |
static <G,M> Iterable<Either<Concept<G,M>,Implication<G,M>>> |
NextClosure.implications(MatrixContext<G,M> cxt) |
static <G,M> TimeTask<Void> |
NextImplication.implications(MatrixContext<G,M> context,
List<de.tudresden.inf.tcs.fcalib.Implication<M>> implications) |
static <G,M> Iterable<Concept<G,M>> |
NextClosure.intents(MatrixContext<G,M> cxt) |
Constructor and Description |
---|
NextConcept(MatrixContext<G,M> context) |
NextImplication(MatrixContext<G,M> context) |
Modifier and Type | Method and Description |
---|---|
static <G,M> ResultMN<G,M> |
NextClosuresMN2.compute(MatrixContext<G,M> cxt,
Set<M> premises,
Set<M> conclusions) |
static <G,M> ResultMN<G,M> |
NextClosuresMN.compute(MatrixContext<G,M> cxt,
Set<M> premises,
Set<M> conclusions) |
Constructor and Description |
---|
MatrixContextMN(MatrixContext<G,M> cxt,
Set<M> premises,
Set<M> conclusions) |
Modifier and Type | Field and Description |
---|---|
protected MatrixContext<G,M> |
Request.context |
Modifier and Type | Method and Description |
---|---|
MatrixContext<G,M> |
Request.createContext() |
MatrixContext<G,M> |
Request.createContext(MatrixContext.AutomaticMode automaticMode) |
Modifier and Type | Field and Description |
---|---|
MatrixContext<G,M> |
ConceptLattice.context |
MatrixContext<G,M> |
MatrixContext.selection |
Modifier and Type | Method and Description |
---|---|
MatrixContext<G,M> |
MatrixContext.clone() |
MatrixContext<G,M> |
AbstractContext.clone() |
MatrixContext<G,M> |
Context.clone() |
MatrixContext<G,M> |
MatrixContext.getSelection() |
static MatrixContext<Integer,Integer> |
Contexts.randomWithDensity(int objects,
int attributes,
int density) |
static MatrixContext<Integer,Integer> |
Contexts.randomWithProbability(int objects,
int attributes,
int probability) |
default MatrixContext<G,M> |
Context.toMatrixContext() |
Modifier and Type | Method and Description |
---|---|
static <G,M> Map<Set<M>,Set<M>> |
Contexts.pseudoIntents(MatrixContext<G,M> cxt)
computes all pseudo-intents of a
MatrixContext . |
Constructor and Description |
---|
ConceptLattice(MatrixContext<G,M> context) |
FCALibContext(MatrixContext<G,M> cxt) |
Modifier and Type | Method and Description |
---|---|
static <G,M> MatrixContext<G,Literal<M>> |
NegationScaling.negationScaling(MatrixContext<G,M> cxt,
Collection<M> attributes) |
Modifier and Type | Method and Description |
---|---|
static <G,M> MatrixContext<G,Literal<M>> |
NegationScaling.negationScaling(MatrixContext<G,M> cxt,
Collection<M> attributes) |
Modifier and Type | Method and Description |
---|---|
MatrixContext<G,M> |
TemporalContext.addTimepoint() |
MatrixContext<G,M> |
TemporalContext.atTimepoint(int t) |
MatrixContext<Pair<G,Integer>,LTL<M>> |
TemporalContext.temporalScaling() |
MatrixContext<Pair<G,Integer>,LTL<M>> |
TemporalContext.temporalScaling(Set<Integer> timepoints,
Set<LTL<M>> ltlAttributes) |
MatrixContext<Pair<G,Integer>,LTL<M>> |
TemporalContext.temporalScaling(Set<LTL<M>> ltlAttributes) |
Modifier and Type | Method and Description |
---|---|
static <G,M> void |
PDFExporter.export(MatrixContext<G,M> context,
Map<Integer,Integer> domainPermutation,
Map<Integer,Integer> codomainPermutation,
AdditiveConceptLayout<G,M> layout,
boolean exportArrows,
boolean exportLabels,
File file) |
static <G,M> void |
HTMLExporter.export(MatrixContext<G,M> context,
Map<Integer,Integer> domainPermutation,
Map<Integer,Integer> codomainPermutation,
AdditiveConceptLayout<G,M> layout,
boolean exportArrows,
boolean exportLabels,
File file) |
static <G,M> void |
SVGExporter.export(MatrixContext<G,M> context,
Map<Integer,Integer> domainPermutation,
Map<Integer,Integer> codomainPermutation,
AdditiveConceptLayout<G,M> layout,
boolean exportArrows,
boolean exportLabels,
File file) |
static <G,M> void |
PNGExporter.export(MatrixContext<G,M> context,
Map<Integer,Integer> domainPermutation,
Map<Integer,Integer> codomainPermutation,
AdditiveConceptLayout<G,M> layout,
boolean exportArrows,
boolean exportLabels,
File file) |
static <G,M> void |
CFXExporter.export(MatrixContext<G,M> context,
Map<Integer,Integer> domainPermutation,
Map<Integer,Integer> codomainPermutation,
AdditiveConceptLayout<G,M> layout,
File file) |
Constructor and Description |
---|
TeXExporter(MatrixContext<G,M> formalContext,
Map<Integer,Integer> objectPermutation,
Map<Integer,Integer> attributePermutation,
AdditiveConceptLayout<G,M> conceptLayout,
TeXExporter.TeXOptions teXOptions) |
Modifier and Type | Method and Description |
---|---|
static MatrixContext<String,String> |
CXTImporter.read(File file) |
MatrixContext<String,String> |
CSVImporter.toContext() |
Modifier and Type | Method and Description |
---|---|
static void |
CSVImporter.importContext(File file,
MatrixContext<String,String> context,
String delimiter) |
static void |
RDFImporter.importFile(MatrixContext<String,String> context,
File file,
String query) |
static void |
RDFImporter.importRepository(MatrixContext<String,String> context,
org.openrdf.repository.Repository repo,
String query) |
static void |
CEXImporter.importt(MatrixContext<String,String> _context,
Map<String,javafx.geometry.Point3D> seedMap,
File file) |
static void |
CFXImporter.importt(MatrixContext<String,String> _context,
Map<String,javafx.geometry.Point3D> seedMap,
File file) |
static void |
RDFImporter.importURL(MatrixContext<String,String> context,
String url,
String query) |
static void |
RDFImporter.importXML(MatrixContext<String,String> context,
String url,
String query) |
static void |
CXTImporter.read(MatrixContext<String,String> context,
File file) |
void |
CSVImporter.toContext(MatrixContext<String,String> context) |
void |
CSVImporter.toContext2(MatrixContext<String,String> context) |
Modifier and Type | Field and Description |
---|---|
javafx.collections.ObservableList<MatrixContext<?,?>> |
ConExpFX.contexts |
javafx.collections.ObservableList<MatrixContext<?,?>> |
ConExpFX.orders |
Modifier and Type | Field and Description |
---|---|
protected MatrixContext<G,M> |
MatrixContextWidget.context |
Constructor and Description |
---|
MatrixContextWidget(FCADataset<G,M> dataset,
boolean withToolbar,
boolean interactive,
MatrixContext<G,M>... orContext) |
MatrixContextWidget(FCADataset<G,M> dataset,
boolean withToolbar,
MatrixContext<G,M>... orContext) |
Modifier and Type | Field and Description |
---|---|
MatrixContext<G,M> |
FCADataset.context |
Constructor and Description |
---|
CounterExampleDialog(MatrixContext<String,String> context,
Implication<String,String> implication) |
HumanExpert(MatrixContext<String,String> context) |
Copyright © 2010–2023 Francesco Kriegel. All rights reserved.