ApParser2InputAbsy

Instance Constructors

new ApParser2InputAbsy(_env: Env, settings: ParserSettings)

Type Members

abstract class ASTConnective extends AnyRef

Attributes
protected
Definition Classes
Parser2InputAbsy
type GrammarExpression = Expression

Definition Classes
ApParser2InputAbsy → Parser2InputAbsy

Value Members

final def !=(arg0: Any): Boolean

Definition Classes
AnyRef → Any
final def ##(): Int

Definition Classes
AnyRef → Any
final def ==(arg0: Any): Boolean

Definition Classes
AnyRef → Any
def addAxiom(f: IFormula): Unit

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

Attributes
protected
Definition Classes
Parser2InputAbsy
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
final def asInstanceOf[T0]: T0

Definition Classes
Any
def clone(): AnyRef

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

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

Attributes
protected
Definition Classes
Parser2InputAbsy
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
def env: Environment[Unit, Sort, Unit, Unit, Sort]

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

Definition Classes
AnyRef
def equals(arg0: Any): Boolean

Definition Classes
AnyRef → Any
def genSignature(completeFor: IExpression): Signature

Attributes
protected
Definition Classes
Parser2InputAbsy
def getAxioms: IFormula

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

Definition Classes
AnyRef → Any
Annotations
@HotSpotIntrinsicCandidate()
def hashCode(): Int

Definition Classes
AnyRef → Any
Annotations
@HotSpotIntrinsicCandidate()
final def isInstanceOf[T0]: Boolean

Definition Classes
Any
lazy val mulTheory: MulTheory

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

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

Definition Classes
AnyRef
final def notify(): Unit

Definition Classes
AnyRef
Annotations
@HotSpotIntrinsicCandidate()
final def notifyAll(): Unit

Definition Classes
AnyRef
Annotations
@HotSpotIntrinsicCandidate()
def popState: Unit

Pop a frame from the settings stack.
Pop a frame from the settings stack.

Attributes
protected
Definition Classes
Parser2InputAbsy
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
def reset: Unit

Erase all stored information.
Erase all stored information.

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

Definition Classes
AnyRef
def toString(): String

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

Attributes
protected
def translateProblem(api: API): IFormula

Attributes
protected
final def wait(arg0: Long, arg1: Int): Unit

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

Definition Classes
AnyRef
Annotations
@throws( ... )
final def wait(): Unit

Definition Classes
AnyRef
Annotations
@throws( ... )

Deprecated Value Members

def finalize(): Unit

Attributes
protected[java.lang]
Definition Classes
AnyRef
Annotations
@Deprecated @deprecated @throws( classOf[java.lang.Throwable] )
Deprecated
(Since version ) see corresponding Javadoc for more information.

Related Docs: object ApParser2InputAbsy | package parser

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

Instance Constructors

new ApParser2InputAbsy(_env: Env, settings: ParserSettings)

Type Members

abstract class ASTConnective extends AnyRef

type GrammarExpression = Expression

Value Members

final def !=(arg0: Any): Boolean

final def ##(): Int

final def ==(arg0: Any): Boolean

def addAxiom(f: IFormula): Unit

def addTheory(t: Theory): Unit

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

final def asInstanceOf[T0]: T0

def clone(): AnyRef

def collectDeclarations(api: API): Unit

def collectSubExpressions(f: GrammarExpression, cont: (GrammarExpression) ⇒ Boolean, Connective: ASTConnective): Seq[GrammarExpression]

def ensureEnvironmentCopy: Unit

def env: Environment[Unit, Sort, Unit, Unit, Sort]

final def eq(arg0: AnyRef): Boolean

def equals(arg0: Any): Boolean

def genSignature(completeFor: IExpression): Signature

def getAxioms: IFormula

final def getClass(): Class[_]

def hashCode(): Int

final def isInstanceOf[T0]: Boolean

lazy val mulTheory: MulTheory

def mult(t1: ITerm, t2: ITerm): ITerm

final def ne(arg0: AnyRef): Boolean

final def notify(): Unit

final def notifyAll(): Unit

def popState: Unit

def pushState(state: Unit): Unit

def reset: Unit

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

def toString(): String

def translateInterpolantSpecs(api: API): List[IInterpolantSpec]

def translateProblem(api: API): IFormula

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

final def wait(arg0: Long): Unit

final def wait(): Unit

Deprecated Value Members

def finalize(): Unit

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

Inherited from AnyRef

Inherited from Any

Ungrouped