Packages

c

conexp.fx.core.context

FCALibContext

final class FCALibContext[G, M] extends de.tudresden.inf.tcs.fcalib.AbstractContext[M, G, FCAObject[M, G]]

Linear Supertypes
de.tudresden.inf.tcs.fcalib.AbstractContext[M, G, FCAObject[M, G]], de.tudresden.inf.tcs.fcaapi.Context[M, G, FCAObject[M, G]], ExpertActionListener[M, G], EventListener, AnyRef, Any
Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. FCALibContext
  2. AbstractContext
  3. Context
  4. ExpertActionListener
  5. EventListener
  6. AnyRef
  7. Any
  1. Hide All
  2. Show All
Visibility
  1. Public
  2. All

Instance Constructors

  1. new FCALibContext(cxt: MatrixContext[G, M])

Value Members

  1. final def !=(arg0: Any): Boolean
    Definition Classes
    AnyRef → Any
  2. final def ##(): Int
    Definition Classes
    AnyRef → Any
  3. final def ==(arg0: Any): Boolean
    Definition Classes
    AnyRef → Any
  4. def addAttribute(arg0: M): Boolean
    Definition Classes
    AbstractContext → Context
    Annotations
    @throws( ... )
  5. def addAttributeToObject(attribute: M, id: G): Boolean
    Definition Classes
    FCALibContext → AbstractContext → Context
  6. def addAttributes(arg0: Set[M]): Boolean
    Definition Classes
    AbstractContext → Context
    Annotations
    @throws( ... )
  7. def addObject(e: FCAObject[M, G]): Boolean
    Definition Classes
    FCALibContext → AbstractContext → Context
  8. def addObjects(arg0: Set[FCAObject[M, G]]): Boolean
    Definition Classes
    AbstractContext → Context
    Annotations
    @throws( ... )
  9. final def asInstanceOf[T0]: T0
    Definition Classes
    Any
  10. def clearObjects(): Unit
    Definition Classes
    AbstractContext → Context
  11. def clone(): AnyRef
    Attributes
    protected[lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( ... ) @native()
  12. def containsObject(arg0: G): Boolean
    Definition Classes
    AbstractContext → Context
  13. def continueExploration(arg0: Set[M]): Unit
    Definition Classes
    AbstractContext
  14. def doublePrime(x: Set[M]): Set[M]
    Definition Classes
    FCALibContext → AbstractContext → Context
  15. final def eq(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef
  16. def equals(arg0: Any): Boolean
    Definition Classes
    AnyRef → Any
  17. def expertPerformedAction(arg0: ExpertAction): Unit
    Definition Classes
    AbstractContext → ExpertActionListener
  18. def explorationFinished(): Unit
    Attributes
    protected[fcalib]
    Definition Classes
    AbstractContext
  19. def finalize(): Unit
    Attributes
    protected[lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( classOf[java.lang.Throwable] )
  20. def followsFromBackgroundKnowledge(implication: FCAImplication[M]): Boolean
    Attributes
    protected[context]
    Definition Classes
    FCALibContext → AbstractContext
  21. def getAttributeAtIndex(arg0: Int): M
    Definition Classes
    AbstractContext → Context
  22. def getAttributeCount(): Int
    Definition Classes
    AbstractContext → Context
  23. def getAttributes(): IndexedSet[M]
    Definition Classes
    AbstractContext → Context
  24. final def getClass(): Class[_]
    Definition Classes
    AnyRef → Any
    Annotations
    @native()
  25. def getCurrentQuestion(): FCAImplication[M]
    Definition Classes
    AbstractContext
  26. def getDuquenneGuiguesBase(): Set[FCAImplication[M]]
    Definition Classes
    FCALibContext → Context
  27. def getExpert(): Expert[M, G, FCAObject[M, G]]
    Definition Classes
    FCALibContext → Context
  28. def getImplications(): Set[FCAImplication[M]]
    Definition Classes
    AbstractContext → Context
  29. def getNextPremise(arg0: Set[M]): Set[M]
    Definition Classes
    AbstractContext
  30. def getObject(id: G): FCAObject[M, G]
    Definition Classes
    FCALibContext → Context
  31. def getObjectAtIndex(index: Int): FCAObject[M, G]
    Definition Classes
    FCALibContext → Context
  32. def getObjectCount(): Int
    Definition Classes
    AbstractContext → Context
  33. def getObjects(): IndexedSet[FCAObject[M, G]]
    Definition Classes
    FCALibContext → AbstractContext → Context
  34. def getStemBase(): Set[FCAImplication[M]]
    Definition Classes
    FCALibContext → AbstractContext → Context
  35. def hashCode(): Int
    Definition Classes
    AnyRef → Any
    Annotations
    @native()
  36. def initializeExploration(): Unit
    Definition Classes
    AbstractContext
  37. def isCounterExampleValid(counterExample: FCAObject[M, G], imp: FCAImplication[M]): Boolean
    Definition Classes
    FCALibContext → AbstractContext
  38. def isExpertSet(): Boolean
    Definition Classes
    AbstractContext → Context
  39. final def isInstanceOf[T0]: Boolean
    Definition Classes
    Any
  40. final def ne(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef
  41. final def notify(): Unit
    Definition Classes
    AnyRef
    Annotations
    @native()
  42. final def notifyAll(): Unit
    Definition Classes
    AnyRef
    Annotations
    @native()
  43. def objectHasAttribute(object: FCAObject[M, G], attribute: M): Boolean
    Definition Classes
    FCALibContext → Context
  44. def refutes(imp: FCAImplication[M]): Boolean
    Definition Classes
    FCALibContext → AbstractContext
  45. def removeObject(object: FCAObject[M, G]): Boolean
    Definition Classes
    FCALibContext → AbstractContext → Context
  46. def removeObject(id: G): Boolean
    Definition Classes
    FCALibContext → AbstractContext → Context
  47. def setCurrentQuestion(arg0: FCAImplication[M]): Unit
    Attributes
    protected[fcalib]
    Definition Classes
    AbstractContext
  48. def setExpert(e: Expert[M, G, FCAObject[M, G]]): Unit
    Definition Classes
    FCALibContext → Context
  49. final def synchronized[T0](arg0: ⇒ T0): T0
    Definition Classes
    AnyRef
  50. def toString(): String
    Definition Classes
    AnyRef → Any
  51. final def wait(): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  52. final def wait(arg0: Long, arg1: Int): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  53. final def wait(arg0: Long): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws( ... ) @native()

Inherited from de.tudresden.inf.tcs.fcalib.AbstractContext[M, G, FCAObject[M, G]]

Inherited from de.tudresden.inf.tcs.fcaapi.Context[M, G, FCAObject[M, G]]

Inherited from ExpertActionListener[M, G]

Inherited from EventListener

Inherited from AnyRef

Inherited from Any

Ungrouped