TPTPTParser

Instance Constructors

new TPTPTParser(_env: Environment[Type, Type, Rank, Rank, Type], settings: ParserSettings)

Type Members

abstract class ASTConnective extends AnyRef

Attributes
protected
Definition Classes
Parser2InputAbsy
type Elem = Char

Definition Classes
RegexParsers → Parsers
case class Error extends NoSuccess with Product with Serializable

Definition Classes
Parsers
case class Failure extends NoSuccess with Product with Serializable

Definition Classes
Parsers
abstract type GrammarExpression

Definition Classes
Parser2InputAbsy
type Input = Reader[Elem]

Definition Classes
Parsers
sealed abstract class NoSuccess extends ParseResult[Nothing]

Definition Classes
Parsers
trait OnceParser[+T] extends Parser[T]

Definition Classes
Parsers
abstract class PackratParser[+T] extends scala.util.parsing.combinator.PackratParsers.Parser[T]

Definition Classes
PackratParsers
class PackratReader[+T] extends Reader[T]

Definition Classes
PackratParsers
sealed abstract class ParseResult[+T] extends AnyRef

Definition Classes
Parsers
abstract class Parser[+T] extends (Input) ⇒ ParseResult[T]

Definition Classes
Parsers
case class Success[+T] extends ParseResult[T] with Product with Serializable

Definition Classes
Parsers
case class ~[+a, +b] extends Product with Serializable

Definition Classes
Parsers

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 OnceParser[T](f: (Input) ⇒ ParseResult[T]): Parser[T] with OnceParser[T]

Definition Classes
Parsers
def Parser[T](f: (Input) ⇒ ParseResult[T]): Parser[T]

Definition Classes
Parsers
def accept[U](expected: String, f: PartialFunction[Elem, U]): Parser[U]

Definition Classes
Parsers
def accept[ES](es: ES)(implicit arg0: (ES) ⇒ List[Elem]): Parser[List[Elem]]

Definition Classes
Parsers
implicit def accept(e: Elem): Parser[Elem]

Definition Classes
Parsers
def acceptIf(p: (Elem) ⇒ Boolean)(err: (Elem) ⇒ String): Parser[Elem]

Definition Classes
Parsers
def acceptMatch[U](expected: String, f: PartialFunction[Elem, U]): Parser[U]

Definition Classes
Parsers
def acceptSeq[ES](es: ES)(implicit arg0: (ES) ⇒ Iterable[Elem]): Parser[List[Elem]]

Definition Classes
Parsers
def addAxiom(f: IFormula): Unit

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

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

Definition Classes
Any
def chainl1[T, U](first: ⇒ Parser[T], p: ⇒ Parser[U], q: ⇒ Parser[(T, U) ⇒ T]): Parser[T]

Definition Classes
Parsers
def chainl1[T](p: ⇒ Parser[T], q: ⇒ Parser[(T, T) ⇒ T]): Parser[T]

Definition Classes
Parsers
def chainr1[T, U](p: ⇒ Parser[T], q: ⇒ Parser[(T, U) ⇒ U], combine: (T, U) ⇒ U, first: U): Parser[U]

Definition Classes
Parsers
def clone(): AnyRef

Attributes
protected[java.lang]
Definition Classes
AnyRef
Annotations
@HotSpotIntrinsicCandidate() @throws( ... )
def collectSubExpressions(f: GrammarExpression, cont: (GrammarExpression) ⇒ Boolean, Connective: ASTConnective): Seq[GrammarExpression]

Attributes
protected
Definition Classes
Parser2InputAbsy
def commit[T](p: ⇒ Parser[T]): Parser[T]

Definition Classes
Parsers
def decimalNumber: Parser[String]

Definition Classes
JavaTokenParsers
def elem(e: Elem): Parser[Elem]

Definition Classes
Parsers
def elem(kind: String, p: (Elem) ⇒ Boolean): Parser[Elem]

Definition Classes
Parsers
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[Type, Type, Rank, Rank, Type]

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

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

Definition Classes
AnyRef → Any
def err(msg: String): Parser[Nothing]

Definition Classes
Parsers
def failure(msg: String): Parser[Nothing]

Definition Classes
Parsers
def floatingPointNumber: Parser[String]

Definition Classes
JavaTokenParsers
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 guard[T](p: ⇒ Parser[T]): Parser[T]

Definition Classes
Parsers
def handleWhiteSpace(source: CharSequence, offset: Int): Int

Attributes
protected
Definition Classes
RegexParsers
def hashCode(): Int

Definition Classes
AnyRef → Any
Annotations
@HotSpotIntrinsicCandidate()
def ident: Parser[String]

Definition Classes
JavaTokenParsers
final def isInstanceOf[T0]: Boolean

Definition Classes
Any
implicit def literal(s: String): Parser[String]

Definition Classes
RegexParsers
def log[T](p: ⇒ Parser[T])(name: String): Parser[T]

Definition Classes
Parsers
def memo[T](p: Parser[T]): PackratParser[T]

Definition Classes
PackratParsers
def mkList[T]: (~[T, List[T]]) ⇒ List[T]

Definition Classes
Parsers
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
def not[T](p: ⇒ Parser[T]): Parser[Unit]

Definition Classes
Parsers
final def notify(): Unit

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

Definition Classes
AnyRef
Annotations
@HotSpotIntrinsicCandidate()
def opt[T](p: ⇒ Parser[T]): Parser[Option[T]]

Definition Classes
Parsers
def parse[T](p: Parser[T], in: Reader): ParseResult[T]

Definition Classes
RegexParsers
def parse[T](p: Parser[T], in: CharSequence): ParseResult[T]

Definition Classes
RegexParsers
def parse[T](p: Parser[T], in: Reader[Char]): ParseResult[T]

Definition Classes
RegexParsers
def parseAll[T](p: Parser[T], in: CharSequence): ParseResult[T]

Definition Classes
RegexParsers
def parseAll[T](p: Parser[T], in: Reader): ParseResult[T]

Definition Classes
RegexParsers
def parseAll[T](p: Parser[T], in: Reader[Char]): ParseResult[T]

Definition Classes
RegexParsers
implicit def parser2packrat[T](p: ⇒ Parser[T]): PackratParser[T]

Definition Classes
PackratParsers
def phrase[T](p: Parser[T]): PackratParser[T]

Definition Classes
PackratParsers → Parsers
def popState: Unit

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

Attributes
protected
Definition Classes
Parser2InputAbsy
def positioned[T <: Positional](p: ⇒ Parser[T]): Parser[T]

Definition Classes
RegexParsers → Parsers
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
implicit def regex(r: Regex): Parser[String]

Definition Classes
RegexParsers
def rep[T](p: ⇒ Parser[T]): Parser[List[T]]

Definition Classes
Parsers
def rep1[T](first: ⇒ Parser[T], p0: ⇒ Parser[T]): Parser[List[T]]

Definition Classes
Parsers
Annotations
@migration
Migration
(Changed in version 2.9.0) The p0 call-by-name arguments is evaluated at most once per constructed Parser object, instead of on every need that arises during parsing.
def rep1[T](p: ⇒ Parser[T]): Parser[List[T]]

Definition Classes
Parsers
def rep1sep[T](p: ⇒ Parser[T], q: ⇒ Parser[Any]): Parser[List[T]]

Definition Classes
Parsers
def repN[T](num: Int, p: ⇒ Parser[T]): Parser[List[T]]

Definition Classes
Parsers
def repsep[T](p: ⇒ Parser[T], q: ⇒ Parser[Any]): Parser[List[T]]

Definition Classes
Parsers
def reset: Unit

Erase all stored information.
Erase all stored information.

Attributes
protected
Definition Classes
Parser2InputAbsy
def skipWhitespace: Boolean

Definition Classes
RegexParsers
def stringLiteral: Parser[String]

Definition Classes
JavaTokenParsers
Annotations
@migration
Migration
(Changed in version 2.10.0) stringLiteral allows escaping single and double quotes, but not forward slashes any longer.
def success[T](v: T): Parser[T]

Definition Classes
Parsers
final def synchronized[T0](arg0: ⇒ T0): T0

Definition Classes
AnyRef
def toString(): String

Definition Classes
AnyRef → Any
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( ... )
val whiteSpace: Regex

Comments are considered as whitespace and ignored right away
Comments are considered as whitespace and ignored right away

Attributes
protected
Definition Classes
TPTPTParser → RegexParsers
def wholeNumber: Parser[String]

Definition Classes
JavaTokenParsers

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 TPTPTParser | package parser

class TPTPTParser extends Parser2InputAbsy[Type, Type, Rank, Rank, Type, Unit] with JavaTokenParsers with PackratParsers

Instance Constructors

new TPTPTParser(_env: Environment[Type, Type, Rank, Rank, Type], settings: ParserSettings)

Type Members

abstract class ASTConnective extends AnyRef

type Elem = Char

case class Error extends NoSuccess with Product with Serializable

case class Failure extends NoSuccess with Product with Serializable

abstract type GrammarExpression

type Input = Reader[Elem]

sealed abstract class NoSuccess extends ParseResult[Nothing]

trait OnceParser[+T] extends Parser[T]

abstract class PackratParser[+T] extends scala.util.parsing.combinator.PackratParsers.Parser[T]

class PackratReader[+T] extends Reader[T]

sealed abstract class ParseResult[+T] extends AnyRef

abstract class Parser[+T] extends (Input) ⇒ ParseResult[T]

case class Success[+T] extends ParseResult[T] with Product with Serializable

case class ~[+a, +b] extends Product with Serializable

Value Members

final def !=(arg0: Any): Boolean

final def ##(): Int

final def ==(arg0: Any): Boolean

def OnceParser[T](f: (Input) ⇒ ParseResult[T]): Parser[T] with OnceParser[T]

def Parser[T](f: (Input) ⇒ ParseResult[T]): Parser[T]

def accept[U](expected: String, f: PartialFunction[Elem, U]): Parser[U]

def accept[ES](es: ES)(implicit arg0: (ES) ⇒ List[Elem]): Parser[List[Elem]]

implicit def accept(e: Elem): Parser[Elem]

def acceptIf(p: (Elem) ⇒ Boolean)(err: (Elem) ⇒ String): Parser[Elem]

def acceptMatch[U](expected: String, f: PartialFunction[Elem, U]): Parser[U]

def acceptSeq[ES](es: ES)(implicit arg0: (ES) ⇒ Iterable[Elem]): Parser[List[Elem]]

def addAxiom(f: IFormula): Unit

def addTheory(t: Theory): Unit

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

final def asInstanceOf[T0]: T0

def chainl1[T, U](first: ⇒ Parser[T], p: ⇒ Parser[U], q: ⇒ Parser[(T, U) ⇒ T]): Parser[T]

def chainl1[T](p: ⇒ Parser[T], q: ⇒ Parser[(T, T) ⇒ T]): Parser[T]

def chainr1[T, U](p: ⇒ Parser[T], q: ⇒ Parser[(T, U) ⇒ U], combine: (T, U) ⇒ U, first: U): Parser[U]

def clone(): AnyRef

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

def commit[T](p: ⇒ Parser[T]): Parser[T]

def decimalNumber: Parser[String]

def elem(e: Elem): Parser[Elem]

def elem(kind: String, p: (Elem) ⇒ Boolean): Parser[Elem]

def ensureEnvironmentCopy: Unit

def env: Environment[Type, Type, Rank, Rank, Type]

final def eq(arg0: AnyRef): Boolean

def equals(arg0: Any): Boolean

def err(msg: String): Parser[Nothing]

def failure(msg: String): Parser[Nothing]

def floatingPointNumber: Parser[String]

def genSignature(completeFor: IExpression): Signature

def getAxioms: IFormula

final def getClass(): Class[_]

def guard[T](p: ⇒ Parser[T]): Parser[T]

def handleWhiteSpace(source: CharSequence, offset: Int): Int

def hashCode(): Int

def ident: Parser[String]

final def isInstanceOf[T0]: Boolean

implicit def literal(s: String): Parser[String]

def log[T](p: ⇒ Parser[T])(name: String): Parser[T]

def memo[T](p: Parser[T]): PackratParser[T]

def mkList[T]: (~[T, List[T]]) ⇒ List[T]

lazy val mulTheory: MulTheory

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

final def ne(arg0: AnyRef): Boolean

def not[T](p: ⇒ Parser[T]): Parser[Unit]

final def notify(): Unit

final def notifyAll(): Unit

def opt[T](p: ⇒ Parser[T]): Parser[Option[T]]

def parse[T](p: Parser[T], in: Reader): ParseResult[T]

def parse[T](p: Parser[T], in: CharSequence): ParseResult[T]

def parse[T](p: Parser[T], in: Reader[Char]): ParseResult[T]

def parseAll[T](p: Parser[T], in: CharSequence): ParseResult[T]

def parseAll[T](p: Parser[T], in: Reader): ParseResult[T]

def parseAll[T](p: Parser[T], in: Reader[Char]): ParseResult[T]

implicit def parser2packrat[T](p: ⇒ Parser[T]): PackratParser[T]

def phrase[T](p: Parser[T]): PackratParser[T]

def popState: Unit