Packages

class ApParser2InputAbsy extends Parser2InputAbsy[Unit, Sort, Unit, Unit, Sort, Unit]

Linear Supertypes
Parser2InputAbsy[Unit, Sort, Unit, Unit, Sort, Unit], AnyRef, Any
Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. ApParser2InputAbsy
  2. Parser2InputAbsy
  3. AnyRef
  4. Any
  1. Hide All
  2. Show All
Visibility
  1. Public
  2. Protected

Instance Constructors

  1. new ApParser2InputAbsy(_env: Env, settings: ParserSettings)

Type Members

  1. type GrammarExpression = Expression
    Definition Classes
    ApParser2InputAbsy → Parser2InputAbsy
  2. abstract class ASTConnective extends AnyRef
    Attributes
    protected
    Definition Classes
    Parser2InputAbsy

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
    Definition Classes
    Parser2InputAbsy
  5. def addTheory(t: Theory): Unit
    Attributes
    protected
    Definition Classes
    Parser2InputAbsy
  6. 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).

    Definition Classes
    ApParser2InputAbsy → Parser2InputAbsy
  7. final def asInstanceOf[T0]: T0
    Definition Classes
    Any
  8. def clone(): AnyRef
    Attributes
    protected[lang]
    Definition Classes
    AnyRef
    Annotations
    @throws(classOf[java.lang.CloneNotSupportedException]) @HotSpotIntrinsicCandidate() @native()
  9. def collectDeclarations(api: API): Unit
    Attributes
    protected
  10. def collectSubExpressions(f: GrammarExpression, cont: (GrammarExpression) => Boolean, Connective: ASTConnective): Seq[GrammarExpression]
    Attributes
    protected
    Definition Classes
    Parser2InputAbsy
  11. 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
    Definition Classes
    Parser2InputAbsy
  12. def env: Environment[Unit, Sort, Unit, Unit, Sort]
    Definition Classes
    Parser2InputAbsy
  13. final def eq(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef
  14. def equals(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef → Any
  15. def genSignature(completeFor: IExpression): Signature
    Attributes
    protected
    Definition Classes
    Parser2InputAbsy
  16. def getAxioms: IFormula
    Attributes
    protected
    Definition Classes
    Parser2InputAbsy
  17. final def getClass(): Class[_ <: AnyRef]
    Definition Classes
    AnyRef → Any
    Annotations
    @HotSpotIntrinsicCandidate() @native()
  18. def hashCode(): Int
    Definition Classes
    AnyRef → Any
    Annotations
    @HotSpotIntrinsicCandidate() @native()
  19. implicit def impToScalaIterator[A](l: Iterator[A]): Iterator[A]
  20. implicit def impToScalaList[A](l: List[A]): Seq[A]
  21. final def isInstanceOf[T0]: Boolean
    Definition Classes
    Any
  22. lazy val mulTheory: MulTheory
    Attributes
    protected
    Definition Classes
    Parser2InputAbsy
  23. def mult(t1: ITerm, t2: ITerm): ITerm
    Attributes
    protected
    Definition Classes
    Parser2InputAbsy
  24. final def ne(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef
  25. final def notify(): Unit
    Definition Classes
    AnyRef
    Annotations
    @HotSpotIntrinsicCandidate() @native()
  26. final def notifyAll(): Unit
    Definition Classes
    AnyRef
    Annotations
    @HotSpotIntrinsicCandidate() @native()
  27. def popState: Unit

    Pop a frame from the settings stack.

    Pop a frame from the settings stack.

    Attributes
    protected
    Definition Classes
    Parser2InputAbsy
  28. def pushState(state: Unit): 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
    Definition Classes
    Parser2InputAbsy
  29. def reset: Unit

    Erase all stored information.

    Erase all stored information.

    Attributes
    protected
    Definition Classes
    Parser2InputAbsy
  30. final def synchronized[T0](arg0: => T0): T0
    Definition Classes
    AnyRef
  31. def toString(): String
    Definition Classes
    AnyRef → Any
  32. def translateInterpolantSpecs(api: API): List[IInterpolantSpec]
    Attributes
    protected
  33. def translateProblem(api: API): IFormula
    Attributes
    protected
  34. final def wait(arg0: Long, arg1: Int): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws(classOf[java.lang.InterruptedException])
  35. final def wait(arg0: Long): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws(classOf[java.lang.InterruptedException]) @native()
  36. 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 Parser2InputAbsy[Unit, Sort, Unit, Unit, Sort, Unit]

Inherited from AnyRef

Inherited from Any

Ungrouped