conexp.fx.core.context

Class FCALibContext<G,M>

java.lang.Object

de.tudresden.inf.tcs.fcalib.AbstractContext<M,G,de.tudresden.inf.tcs.fcaapi.FCAObject<M,G>>

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

All Implemented Interfaces:

de.tudresden.inf.tcs.fcaapi.action.ExpertActionListener<M,G>, de.tudresden.inf.tcs.fcaapi.Context<M,G,de.tudresden.inf.tcs.fcaapi.FCAObject<M,G>>, EventListener

public final class FCALibContext<G,M>
extends de.tudresden.inf.tcs.fcalib.AbstractContext<M,G,de.tudresden.inf.tcs.fcaapi.FCAObject<M,G>>

Constructor Summary

Constructors

Constructor and Description
FCALibContext(MatrixContext<G,M> cxt)

Method Summary

Modifier and Type	Method and Description
boolean	addAttributeToObject(M attribute, G id)
boolean	addObject(de.tudresden.inf.tcs.fcaapi.FCAObject<M,G> e)
Set<M>	doublePrime(Set<M> x)
protected boolean	followsFromBackgroundKnowledge(de.tudresden.inf.tcs.fcaapi.FCAImplication<M> implication)
Set<de.tudresden.inf.tcs.fcaapi.FCAImplication<M>>	getDuquenneGuiguesBase()
de.tudresden.inf.tcs.fcaapi.Expert<M,G,de.tudresden.inf.tcs.fcaapi.FCAObject<M,G>>	getExpert()
de.tudresden.inf.tcs.fcaapi.FCAObject<M,G>	getObject(G id)
de.tudresden.inf.tcs.fcaapi.FCAObject<M,G>	getObjectAtIndex(int index)
de.tudresden.inf.tcs.fcaapi.utils.IndexedSet<de.tudresden.inf.tcs.fcaapi.FCAObject<M,G>>	getObjects()
Set<de.tudresden.inf.tcs.fcaapi.FCAImplication<M>>	getStemBase()
boolean	isCounterExampleValid(de.tudresden.inf.tcs.fcaapi.FCAObject<M,G> counterExample, de.tudresden.inf.tcs.fcaapi.FCAImplication<M> imp)
boolean	objectHasAttribute(de.tudresden.inf.tcs.fcaapi.FCAObject<M,G> object, M attribute)
boolean	refutes(de.tudresden.inf.tcs.fcaapi.FCAImplication<M> imp)
boolean	removeObject(de.tudresden.inf.tcs.fcaapi.FCAObject<M,G> object)
boolean	removeObject(G id)
void	setExpert(de.tudresden.inf.tcs.fcaapi.Expert<M,G,de.tudresden.inf.tcs.fcaapi.FCAObject<M,G>> e)

Methods inherited from class de.tudresden.inf.tcs.fcalib.AbstractContext

addAttribute, addAttributes, addObjects, clearObjects, containsObject, continueExploration, expertPerformedAction, explorationFinished, getAttributeAtIndex, getAttributeCount, getAttributes, getCurrentQuestion, getImplications, getNextPremise, getObjectCount, initializeExploration, isExpertSet, setCurrentQuestion

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

FCALibContext

public FCALibContext(MatrixContext<G,M> cxt)

Method Detail

getObject

public de.tudresden.inf.tcs.fcaapi.FCAObject<M,G> getObject(G id)

getObjectAtIndex

public de.tudresden.inf.tcs.fcaapi.FCAObject<M,G> getObjectAtIndex(int index)

objectHasAttribute

public boolean objectHasAttribute(de.tudresden.inf.tcs.fcaapi.FCAObject<M,G> object,
                                  M attribute)

getDuquenneGuiguesBase

public Set<de.tudresden.inf.tcs.fcaapi.FCAImplication<M>> getDuquenneGuiguesBase()

getExpert

public de.tudresden.inf.tcs.fcaapi.Expert<M,G,de.tudresden.inf.tcs.fcaapi.FCAObject<M,G>> getExpert()

setExpert

public void setExpert(de.tudresden.inf.tcs.fcaapi.Expert<M,G,de.tudresden.inf.tcs.fcaapi.FCAObject<M,G>> e)

getObjects

public de.tudresden.inf.tcs.fcaapi.utils.IndexedSet<de.tudresden.inf.tcs.fcaapi.FCAObject<M,G>> getObjects()

Specified by:

getObjects in interface de.tudresden.inf.tcs.fcaapi.Context<M,G,de.tudresden.inf.tcs.fcaapi.FCAObject<M,G>>

Specified by:

getObjects in class de.tudresden.inf.tcs.fcalib.AbstractContext<M,G,de.tudresden.inf.tcs.fcaapi.FCAObject<M,G>>

addObject

public boolean addObject(de.tudresden.inf.tcs.fcaapi.FCAObject<M,G> e)
                  throws de.tudresden.inf.tcs.fcaapi.exception.IllegalObjectException

Specified by:

addObject in interface de.tudresden.inf.tcs.fcaapi.Context<M,G,de.tudresden.inf.tcs.fcaapi.FCAObject<M,G>>

Specified by:

addObject in class de.tudresden.inf.tcs.fcalib.AbstractContext<M,G,de.tudresden.inf.tcs.fcaapi.FCAObject<M,G>>

Throws:

de.tudresden.inf.tcs.fcaapi.exception.IllegalObjectException

removeObject

public boolean removeObject(G id)
                     throws de.tudresden.inf.tcs.fcaapi.exception.IllegalObjectException

Specified by:

removeObject in interface de.tudresden.inf.tcs.fcaapi.Context<M,G,de.tudresden.inf.tcs.fcaapi.FCAObject<M,G>>

Specified by:

removeObject in class de.tudresden.inf.tcs.fcalib.AbstractContext<M,G,de.tudresden.inf.tcs.fcaapi.FCAObject<M,G>>

Throws:

de.tudresden.inf.tcs.fcaapi.exception.IllegalObjectException

removeObject

public boolean removeObject(de.tudresden.inf.tcs.fcaapi.FCAObject<M,G> object)
                     throws de.tudresden.inf.tcs.fcaapi.exception.IllegalObjectException

Specified by:

removeObject in interface de.tudresden.inf.tcs.fcaapi.Context<M,G,de.tudresden.inf.tcs.fcaapi.FCAObject<M,G>>

Specified by:

removeObject in class de.tudresden.inf.tcs.fcalib.AbstractContext<M,G,de.tudresden.inf.tcs.fcaapi.FCAObject<M,G>>

Throws:

de.tudresden.inf.tcs.fcaapi.exception.IllegalObjectException

addAttributeToObject

public boolean addAttributeToObject(M attribute,
                                    G id)
                             throws de.tudresden.inf.tcs.fcaapi.exception.IllegalAttributeException,
                                    de.tudresden.inf.tcs.fcaapi.exception.IllegalObjectException

Specified by:

addAttributeToObject in interface de.tudresden.inf.tcs.fcaapi.Context<M,G,de.tudresden.inf.tcs.fcaapi.FCAObject<M,G>>

Specified by:

addAttributeToObject in class de.tudresden.inf.tcs.fcalib.AbstractContext<M,G,de.tudresden.inf.tcs.fcaapi.FCAObject<M,G>>

Throws:

de.tudresden.inf.tcs.fcaapi.exception.IllegalAttributeException

de.tudresden.inf.tcs.fcaapi.exception.IllegalObjectException

doublePrime

public Set<M> doublePrime(Set<M> x)

Specified by:

doublePrime in interface de.tudresden.inf.tcs.fcaapi.Context<M,G,de.tudresden.inf.tcs.fcaapi.FCAObject<M,G>>

Specified by:

doublePrime in class de.tudresden.inf.tcs.fcalib.AbstractContext<M,G,de.tudresden.inf.tcs.fcaapi.FCAObject<M,G>>

getStemBase

public Set<de.tudresden.inf.tcs.fcaapi.FCAImplication<M>> getStemBase()

Specified by:

getStemBase in interface de.tudresden.inf.tcs.fcaapi.Context<M,G,de.tudresden.inf.tcs.fcaapi.FCAObject<M,G>>

Specified by:

getStemBase in class de.tudresden.inf.tcs.fcalib.AbstractContext<M,G,de.tudresden.inf.tcs.fcaapi.FCAObject<M,G>>

refutes

public boolean refutes(de.tudresden.inf.tcs.fcaapi.FCAImplication<M> imp)

Specified by:

refutes in class de.tudresden.inf.tcs.fcalib.AbstractContext<M,G,de.tudresden.inf.tcs.fcaapi.FCAObject<M,G>>

isCounterExampleValid

public boolean isCounterExampleValid(de.tudresden.inf.tcs.fcaapi.FCAObject<M,G> counterExample,
                                     de.tudresden.inf.tcs.fcaapi.FCAImplication<M> imp)

Specified by:

isCounterExampleValid in class de.tudresden.inf.tcs.fcalib.AbstractContext<M,G,de.tudresden.inf.tcs.fcaapi.FCAObject<M,G>>

followsFromBackgroundKnowledge

protected boolean followsFromBackgroundKnowledge(de.tudresden.inf.tcs.fcaapi.FCAImplication<M> implication)

Specified by:

followsFromBackgroundKnowledge in class de.tudresden.inf.tcs.fcalib.AbstractContext<M,G,de.tudresden.inf.tcs.fcaapi.FCAObject<M,G>>