Packages

abstract class Parser2InputAbsy[CT, VT, PT, FT, ST, StackState] extends AnyRef

Linear Supertypes
AnyRef, Any
Known Subclasses
ApParser2InputAbsy, SMTParser2InputAbsy, TPTPTParser
Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. Parser2InputAbsy
  2. AnyRef
  3. Any
  1. Hide All
  2. Show All
Visibility
  1. Public
  2. Protected

Instance Constructors

  1. new Parser2InputAbsy(initialEnv: Environment[CT, VT, PT, FT, ST], settings: ParserSettings)

Type Members

  1. abstract class ASTConnective extends AnyRef
    Attributes
    protected
  2. abstract type GrammarExpression

Abstract Value Members

  1. abstract def apply(input: Reader): (IFormula, List[IInterpolantSpec], Signature)

    Parse a problem from a character stream.

    Parse a problem from a character stream. The result is the formula contained in the input, a list of interpolation specifications present in the input, and the Signature declared in the input (constants, and the TermOrder that was used for the formula).

Concrete 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 addAxiom(f: IFormula): Unit
    Attributes
    protected
  5. def addTheory(t: Theory): Unit
    Attributes
    protected
  6. final def asInstanceOf[T0]: T0
    Definition Classes
    Any
  7. def clone(): AnyRef
    Attributes
    protected[lang]
    Definition Classes
    AnyRef
    Annotations
    @throws(classOf[java.lang.CloneNotSupportedException]) @HotSpotIntrinsicCandidate() @native()
  8. def collectSubExpressions(f: GrammarExpression, cont: (GrammarExpression) => Boolean, Connective: ASTConnective): Seq[GrammarExpression]
    Attributes
    protected
  9. def ensureEnvironmentCopy: Unit

    Make sure that the current settings frame contains a local copy of the Environment.

    Make sure that the current settings frame contains a local copy of the Environment. To be called before changing anything in the Environment.

    Attributes
    protected
  10. def env: Environment[CT, VT, PT, FT, ST]
  11. final def eq(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef
  12. def equals(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef → Any
  13. def genSignature(completeFor: IExpression): Signature
    Attributes
    protected
  14. def getAxioms: IFormula
    Attributes
    protected
  15. final def getClass(): Class[_ <: AnyRef]
    Definition Classes
    AnyRef → Any
    Annotations
    @HotSpotIntrinsicCandidate() @native()
  16. def hashCode(): Int
    Definition Classes
    AnyRef → Any
    Annotations
    @HotSpotIntrinsicCandidate() @native()
  17. final def isInstanceOf[T0]: Boolean
    Definition Classes
    Any
  18. lazy val mulTheory: MulTheory
    Attributes
    protected
  19. def mult(t1: ITerm, t2: ITerm): ITerm
    Attributes
    protected
  20. final def ne(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef
  21. final def notify(): Unit
    Definition Classes
    AnyRef
    Annotations
    @HotSpotIntrinsicCandidate() @native()
  22. final def notifyAll(): Unit
    Definition Classes
    AnyRef
    Annotations
    @HotSpotIntrinsicCandidate() @native()
  23. def popState: StackState

    Pop a frame from the settings stack.

    Pop a frame from the settings stack.

    Attributes
    protected
  24. def pushState(state: StackState): Unit

    Add a new frame to the settings stack; this in particular affects the Environment.

    Add a new frame to the settings stack; this in particular affects the Environment.

    Attributes
    protected
  25. def reset: Unit

    Erase all stored information.

    Erase all stored information.

    Attributes
    protected
  26. final def synchronized[T0](arg0: => T0): T0
    Definition Classes
    AnyRef
  27. def toString(): String
    Definition Classes
    AnyRef → Any
  28. final def wait(arg0: Long, arg1: Int): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws(classOf[java.lang.InterruptedException])
  29. final def wait(arg0: Long): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws(classOf[java.lang.InterruptedException]) @native()
  30. 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 AnyRef

Inherited from Any

Ungrouped