Environment

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 addPredicate(pred: Predicate, typ: PredicateType): Unit

   

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

   

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

   

9. final def asInstanceOf[T0]: T0

   

   Definition Classes

   Any

10. def clear: Unit

    

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

    

    Definition Classes

    Environment → AnyRef

12. def declaredVariableNum: Int

    

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

    

    Definition Classes

    AnyRef

14. def equals(arg0: Any): Boolean

    

    Definition Classes

    AnyRef → Any

15. def existentialConstants: Set[ConstantTerm]

    

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

    

17. def finalize(): Unit

    

    Attributes

    protected[java.lang]

    Definition Classes

    AnyRef

    Annotations

    @throws( classOf[java.lang.Throwable] )

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

    

    Definition Classes

    AnyRef → Any

19. def hashCode(): Int

    

    Definition Classes

    AnyRef → Any

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

30. final def notifyAll(): Unit

    

    Definition Classes

    AnyRef

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(): Unit

    

    Definition Classes

    AnyRef

    Annotations

    @throws( ... )

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

    

    Definition Classes

    AnyRef

    Annotations

    @throws( ... )

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

    

    Definition Classes

    AnyRef

    Annotations

    @throws( ... )