Packages

class RelStore extends RelStoreStatistics

An ABoxStore stores the abox of the loaded elements with respect to the MMT ontology.

Triples (subject, binary, object) are hashed three ways so that for any two components the set of third components can be retrieved efficiently.

Use TheoryGraph for theory graph-level querying

Source
ABox.scala
Linear Supertypes
RelStoreStatistics, AnyRef, Any
Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. RelStore
  2. RelStoreStatistics
  3. AnyRef
  4. Any
  1. Hide All
  2. Show All
Visibility
  1. Public
  2. All

Instance Constructors

  1. new RelStore(report: Report)

Value Members

  1. final def !=(arg0: Any): Boolean
    Definition Classes
    AnyRef → Any
  2. final def ##(): Int
    Definition Classes
    AnyRef → Any
  3. def +=(d: RelationalElement): Unit

    adds a RelationalElement

  4. final def ==(arg0: Any): Boolean
    Definition Classes
    AnyRef → Any
  5. final def asInstanceOf[T0]: T0
    Definition Classes
    Any
  6. def clear: Unit

    deletes all declarations

  7. def clone(): AnyRef
    Attributes
    protected[lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( ... ) @native()
  8. def deleteSubject(subj: Path): Unit

    deletes all RelationalElements with a given subject

  9. final def eq(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef
  10. def equals(arg0: Any): Boolean
    Definition Classes
    AnyRef → Any
  11. def finalize(): Unit
    Attributes
    protected[lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( classOf[java.lang.Throwable] )
  12. final def getClass(): Class[_]
    Definition Classes
    AnyRef → Any
    Annotations
    @native()
  13. def getDeps: Iterator[Relation]

    retrieves all Relation declarations

  14. def getInds(tp: Unary): Iterator[Path]

    retrieves all individual of a certain type

  15. def getInds: Iterator[Individual]

    retrieves all Individual declarations

  16. def getType(p: Path): Option[Unary]

    retrieves type of an individual

  17. def hasDep(from: Path, to: Path, bin: Binary): Boolean

    tests if there is a relation holds between two individuals

  18. def hasType(p: Path, tp: Unary): Boolean

    checks if an individual has a given type

  19. def hashCode(): Int
    Definition Classes
    AnyRef → Any
    Annotations
    @native()
  20. final def isInstanceOf[T0]: Boolean
    Definition Classes
    Any
  21. def log(msg: ⇒ String): Unit
    Attributes
    protected
  22. def makeStatistics(q: Path): Statistics

    Make a statistic for the document or theory at the given path

    Make a statistic for the document or theory at the given path

    Definition Classes
    RelStoreStatistics
  23. final def ne(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef
  24. final def notify(): Unit
    Definition Classes
    AnyRef
    Annotations
    @native()
  25. final def notifyAll(): Unit
    Definition Classes
    AnyRef
    Annotations
    @native()
  26. def query(start: Path, q: RelationExp)(implicit add: (Path) ⇒ Unit): Unit

    Executes a relational query from a fixed start path.

    Executes a relational query from a fixed start path. There is no result set; instead, a continuation is passed that can be used to build the result set; this permits, e.g., to keep track of the order in which results were found.

    start

    the MMTURI to which the results are related

    q

    the query to be executed; the way in which results are related to the start

    add

    a continuation called on every element in the result set (in topological order, duplicate calls possible)

  27. def queryList(start: Path, q: RelationExp): List[Path]
  28. def querySet(start: Path, q: RelationExp): HashSet[Path]
  29. def statDescription: JSONArray
    Definition Classes
    RelStoreStatistics
  30. final def synchronized[T0](arg0: ⇒ T0): T0
    Definition Classes
    AnyRef
  31. def theoryClosure(p: MPath): List[MPath]

    Returns the set of theories a theory depends on

  32. def toString(): String
    Definition Classes
    RelStore → AnyRef → Any
  33. final def wait(): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  34. final def wait(arg0: Long, arg1: Int): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  35. final def wait(arg0: Long): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws( ... ) @native()

Inherited from RelStoreStatistics

Inherited from AnyRef

Inherited from Any

Ungrouped