Packages

sealed trait ContextResult extends AnyRef

Linear Supertypes
AnyRef, Any
Known Subclasses
RBranch, RStrongFailure, RSuccess, RWeakFailure
Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. ContextResult
  2. AnyRef
  3. Any
  1. Hide All
  2. Show All
Visibility
  1. Public
  2. All

Type Members

  1. type Item = (Option[Ident], Formula, Boolean)

    (optional identifier, fact, whether fact corresponds to an assignment)

Abstract Value Members

  1. abstract def asList: List[(Option[Ident], Formula)]

    returns

    association list of results

Concrete Value Members

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

    returns

    results of both contexts, swallowing weak errors

  4. final def ==(arg0: Any): Boolean
    Definition Classes
    AnyRef → Any
  5. def admissiblePart(inContext: Context, tabooProgramVars: Set[Variable], tabooFactVars: Set[Ident]): ContextResult

    returns

    only those results which can soundly be accessed in the given context, assuming a given set of taboo variables (i.e. variables which were bound after the context and before the reference site)

  6. final def asInstanceOf[T0]: T0
    Definition Classes
    Any
  7. def assignFact(as: Assign): Formula

    returns

    fact corresponding to assignment

  8. def assignId(as: Assign): Option[Ident]

    returns

    fact identifier corresponding to assignment

  9. def clone(): AnyRef
    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @native() @throws( ... )
  10. def elaborated(kc: Context, cq: ContextQuery): ContextResult

    returns

    "same" result with (user-defined and internal) function symbols fully elaborated

  11. final def eq(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef
  12. def equals(arg0: Any): Boolean
    Definition Classes
    AnyRef → Any
  13. def filter(p: (Item) ⇒ Boolean): ContextResult

    returns

    context result where successful results are filtered by p

  14. def finalize(): Unit
    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( classOf[java.lang.Throwable] )
  15. def foreach(p: (Item) ⇒ Unit): Unit

    Apply p for side effects to every successful result and ignore values.

  16. def formulas: List[Formula]

    returns

    formulas for each fact and assignment

  17. final def getClass(): Class[_]
    Definition Classes
    AnyRef → Any
    Annotations
    @native()
  18. def hashCode(): Int
    Definition Classes
    AnyRef → Any
    Annotations
    @native()
  19. def idents: List[Ident]

    returns

    all identifiers found

  20. def isEmpty: Boolean

    returns

    whether result contains no facts/assignments

  21. final def isInstanceOf[T0]: Boolean
    Definition Classes
    Any
  22. def matchingPart(cq: ContextQuery): ContextResult

    returns

    only the portion which satisfies the given query

  23. final def ne(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef
  24. def nonEmpty: Boolean

    returns

    whether result contains facts/assignments

  25. final def notify(): Unit
    Definition Classes
    AnyRef
    Annotations
    @native()
  26. final def notifyAll(): Unit
    Definition Classes
    AnyRef
    Annotations
    @native()
  27. final def synchronized[T0](arg0: ⇒ T0): T0
    Definition Classes
    AnyRef
  28. def toString(): String
    Definition Classes
    AnyRef → Any
  29. final def wait(): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  30. final def wait(arg0: Long, arg1: Int): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  31. final def wait(arg0: Long): Unit
    Definition Classes
    AnyRef
    Annotations
    @native() @throws( ... )

Inherited from AnyRef

Inherited from Any

Ungrouped