Class/Object

ap.parser

Environment

Related Docs: object Environment | package parser

Permalink

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

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

Instance Constructors

  1. new Environment()

    Permalink

Type Members

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

    Permalink

Value Members

  1. final def !=(arg0: Any): Boolean

    Permalink
    Definition Classes
    AnyRef → Any

  2. final def ##(): Int

    Permalink
    Definition Classes
    AnyRef → Any

  3. final def ==(arg0: Any): Boolean

    Permalink
    Definition Classes
    AnyRef → Any

  4. def addConstant(c: ConstantTerm, kind: SymKind, typ: ConstantType): Unit

    Permalink

  5. def addFunction(fun: IFunction, typ: FunctionType): Unit

    Permalink

  6. def addOverloadedFunction(fun: IFunction, typ: FunctionType): Unit

    Permalink

  7. def addOverloadedPredicate(pred: Predicate, typ: PredicateType, matchStatus: Signature.PredicateMatchStatus.Value = ...): Unit

    Permalink

  8. def addPredicate(pred: Predicate, typ: PredicateType, matchStatus: Signature.PredicateMatchStatus.Value = ...): Unit

    Permalink

  9. def addSort(name: String, s: SortType): Unit

    Permalink

  10. final def asInstanceOf[T0]: T0

    Permalink
    Definition Classes
    Any

  11. def clear: Unit

    Permalink

  12. def clone(): Environment[ConstantType, VariableType, PredicateType, FunctionType, SortType]

    Permalink
    Definition Classes
    Environment → AnyRef

  13. def declaredVariableNum: Int

    Permalink

  14. final def eq(arg0: AnyRef): Boolean

    Permalink
    Definition Classes
    AnyRef

  15. def equals(arg0: Any): Boolean

    Permalink
    Definition Classes
    AnyRef → Any

  16. def existentialConstants: Set[ConstantTerm]

    Permalink

  17. def existsVar(pred: (VariableType) ⇒ Boolean): Boolean

    Permalink

  18. final def getClass(): Class[_]

    Permalink
    Definition Classes
    AnyRef → Any
    Annotations
    @HotSpotIntrinsicCandidate()

  19. def hashCode(): Int

    Permalink
    Definition Classes
    AnyRef → Any
    Annotations
    @HotSpotIntrinsicCandidate()

  20. def isDeclaredSym(name: String): Boolean

    Permalink

  21. final def isInstanceOf[T0]: Boolean

    Permalink
    Definition Classes
    Any

  22. def lookupPartName(name: String): PartName

    Permalink

  23. def lookupSort(name: String): SortType

    Permalink

  24. def lookupSortPartial(name: String): Option[SortType]

    Permalink

  25. def lookupSym(name: String): DSym

    Permalink

  26. def lookupSymPartial(name: String): Option[DSym]

    Permalink

  27. final def ne(arg0: AnyRef): Boolean

    Permalink
    Definition Classes
    AnyRef

  28. def nonNullaryFunctions: Set[IFunction]

    Permalink

  29. final def notify(): Unit

    Permalink
    Definition Classes
    AnyRef
    Annotations
    @HotSpotIntrinsicCandidate()

  30. final def notifyAll(): Unit

    Permalink
    Definition Classes
    AnyRef
    Annotations
    @HotSpotIntrinsicCandidate()

  31. def nullaryFunctions: Set[ConstantTerm]

    Permalink

  32. def order: TermOrder

    Permalink

  33. def order_=(newOrder: TermOrder): Unit

    Permalink

  34. def popVar: VariableType

    Permalink

  35. def predicateMatchConfig: PredicateMatchConfig

    Permalink

  36. def pushVar(name: String, typ: VariableType): Unit

    Permalink

  37. def symbols: Iterator[DSym]

    Permalink

  38. final def synchronized[T0](arg0: ⇒ T0): T0

    Permalink
    Definition Classes
    AnyRef

  39. def toSignature: Signature

    Permalink

  40. def toString(): String

    Permalink
    Definition Classes
    AnyRef → Any

  41. def universalConstants: Set[ConstantTerm]

    Permalink

  42. final def wait(arg0: Long, arg1: Int): Unit

    Permalink
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )

  43. final def wait(arg0: Long): Unit

    Permalink
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )

  44. final def wait(): Unit

    Permalink
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )

Deprecated Value Members

  1. def finalize(): Unit

    Permalink
    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @Deprecated @deprecated @throws( classOf[java.lang.Throwable] )
    Deprecated

    (Since version ) see corresponding Javadoc for more information.

Inherited from Cloneable

Inherited from Cloneable

Inherited from AnyRef

Inherited from Any

Ungrouped