Class/Object

ap.parser

ApParser2InputAbsy

Related Docs: object ApParser2InputAbsy | package parser

Permalink

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. All

Instance Constructors

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

    Permalink

Type Members

  1. abstract class ASTConnective extends AnyRef

    Permalink
    Attributes
    protected
    Definition Classes
    Parser2InputAbsy
  2. type GrammarExpression = Expression

    Permalink
    Definition Classes
    ApParser2InputAbsyParser2InputAbsy

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

    Permalink
    Attributes
    protected
    Definition Classes
    Parser2InputAbsy
  5. def addTheory(t: Theory): Unit

    Permalink
    Attributes
    protected
    Definition Classes
    Parser2InputAbsy
  6. def apply(input: Reader): (IFormula, List[IInterpolantSpec], Signature)

    Permalink

    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
    ApParser2InputAbsyParser2InputAbsy
  7. final def asInstanceOf[T0]: T0

    Permalink
    Definition Classes
    Any
  8. def clone(): AnyRef

    Permalink
    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  9. def collectDeclarations(api: API): Unit

    Permalink
    Attributes
    protected
  10. def collectSubExpressions(f: GrammarExpression, cont: (GrammarExpression) ⇒ Boolean, Connective: ASTConnective): Seq[GrammarExpression]

    Permalink
    Attributes
    protected
    Definition Classes
    Parser2InputAbsy
  11. def ensureEnvironmentCopy: Unit

    Permalink

    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]

    Permalink
    Definition Classes
    Parser2InputAbsy
  13. final def eq(arg0: AnyRef): Boolean

    Permalink
    Definition Classes
    AnyRef
  14. def equals(arg0: Any): Boolean

    Permalink
    Definition Classes
    AnyRef → Any
  15. def finalize(): Unit

    Permalink
    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( classOf[java.lang.Throwable] )
  16. def genSignature(completeFor: IExpression): Signature

    Permalink
    Attributes
    protected
    Definition Classes
    Parser2InputAbsy
  17. def getAxioms: IFormula

    Permalink
    Attributes
    protected
    Definition Classes
    Parser2InputAbsy
  18. final def getClass(): Class[_]

    Permalink
    Definition Classes
    AnyRef → Any
  19. def hashCode(): Int

    Permalink
    Definition Classes
    AnyRef → Any
  20. final def isInstanceOf[T0]: Boolean

    Permalink
    Definition Classes
    Any
  21. lazy val mulTheory: MulTheory

    Permalink
    Attributes
    protected
    Definition Classes
    Parser2InputAbsy
  22. def mult(t1: ITerm, t2: ITerm): ITerm

    Permalink
    Attributes
    protected
    Definition Classes
    Parser2InputAbsy
  23. final def ne(arg0: AnyRef): Boolean

    Permalink
    Definition Classes
    AnyRef
  24. final def notify(): Unit

    Permalink
    Definition Classes
    AnyRef
  25. final def notifyAll(): Unit

    Permalink
    Definition Classes
    AnyRef
  26. def popState: Unit

    Permalink

    Pop a frame from the settings stack.

    Pop a frame from the settings stack.

    Attributes
    protected
    Definition Classes
    Parser2InputAbsy
  27. def pushState(state: Unit): Unit

    Permalink

    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
  28. def reset: Unit

    Permalink

    Erase all stored information.

    Erase all stored information.

    Attributes
    protected
    Definition Classes
    Parser2InputAbsy
  29. final def synchronized[T0](arg0: ⇒ T0): T0

    Permalink
    Definition Classes
    AnyRef
  30. def toString(): String

    Permalink
    Definition Classes
    AnyRef → Any
  31. def translateInterpolantSpecs(api: API): List[IInterpolantSpec]

    Permalink
    Attributes
    protected
  32. def translateProblem(api: API): IFormula

    Permalink
    Attributes
    protected
  33. final def wait(): Unit

    Permalink
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  34. final def wait(arg0: Long, arg1: Int): Unit

    Permalink
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  35. final def wait(arg0: Long): Unit

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

Inherited from Parser2InputAbsy[Unit, Sort, Unit, Unit, Sort, Unit]

Inherited from AnyRef

Inherited from Any

Ungrouped