Packages

class Environment[ConstantType, VariableType, PredicateType, FunctionType, SortType] extends Cloneable

Linear Supertypes
Cloneable, AnyRef, Any
Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. Environment
  2. Cloneable
  3. AnyRef
  4. Any
  1. Hide All
  2. Show All
Visibility
  1. Public
  2. Protected

Instance Constructors

  1. new Environment()

Type Members

  1. type DSym = DeclaredSym[ConstantType, VariableType, PredicateType, FunctionType]

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 addConstant(c: ConstantTerm, kind: SymKind, typ: ConstantType): Unit
  5. def addFunction(fun: IFunction, typ: FunctionType): Unit
  6. def addOverloadedFunction(fun: IFunction, typ: FunctionType): Unit
  7. def addOverloadedPredicate(pred: Predicate, typ: PredicateType, matchStatus: Signature.PredicateMatchStatus.Value = Signature.PredicateMatchStatus.Positive): Unit
  8. def addPredicate(pred: Predicate, typ: PredicateType, matchStatus: Signature.PredicateMatchStatus.Value = Signature.PredicateMatchStatus.Positive): Unit
  9. def addSort(name: String, s: SortType): Unit
  10. final def asInstanceOf[T0]: T0
    Definition Classes
    Any
  11. def clear: Unit
  12. def clone(): Environment[ConstantType, VariableType, PredicateType, FunctionType, SortType]
    Definition Classes
    Environment → AnyRef
  13. def declaredVariableNum: Int
  14. final def eq(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef
  15. def equals(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef → Any
  16. def existentialConstants: Set[ConstantTerm]
  17. def existsVar(pred: (VariableType) => Boolean): Boolean
  18. final def getClass(): Class[_ <: AnyRef]
    Definition Classes
    AnyRef → Any
    Annotations
    @HotSpotIntrinsicCandidate() @native()
  19. def hashCode(): Int
    Definition Classes
    AnyRef → Any
    Annotations
    @HotSpotIntrinsicCandidate() @native()
  20. def isDeclaredSym(name: String): Boolean
  21. final def isInstanceOf[T0]: Boolean
    Definition Classes
    Any
  22. def lookupPartName(name: String): PartName
  23. def lookupSort(name: String): SortType
  24. def lookupSortPartial(name: String): Option[SortType]
  25. def lookupSym(name: String): DSym
  26. def lookupSymPartial(name: String): Option[DSym]
  27. final def ne(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef
  28. def nonNullaryFunctions: Set[IFunction]
  29. final def notify(): Unit
    Definition Classes
    AnyRef
    Annotations
    @HotSpotIntrinsicCandidate() @native()
  30. final def notifyAll(): Unit
    Definition Classes
    AnyRef
    Annotations
    @HotSpotIntrinsicCandidate() @native()
  31. def nullaryFunctions: Set[ConstantTerm]
  32. def order: TermOrder
  33. def order_=(newOrder: TermOrder): Unit
  34. def popVar: VariableType
  35. def predicateMatchConfig: PredicateMatchConfig
  36. def pushVar(name: String, typ: VariableType): Unit
  37. def symbols: Iterator[DSym]
  38. final def synchronized[T0](arg0: => T0): T0
    Definition Classes
    AnyRef
  39. def toSignature: Signature
  40. def toString(): String
    Definition Classes
    AnyRef → Any
  41. def universalConstants: Set[ConstantTerm]
  42. final def wait(arg0: Long, arg1: Int): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws(classOf[java.lang.InterruptedException])
  43. final def wait(arg0: Long): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws(classOf[java.lang.InterruptedException]) @native()
  44. final def wait(): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws(classOf[java.lang.InterruptedException])

Deprecated Value Members

  1. def finalize(): Unit
    Attributes
    protected[lang]
    Definition Classes
    AnyRef
    Annotations
    @throws(classOf[java.lang.Throwable]) @Deprecated
    Deprecated

    (Since version 9)

Inherited from Cloneable

Inherited from AnyRef

Inherited from Any

Ungrouped