Class/Object

at.logic.gapt.formats.tptp

TptpParser

Related Docs: object TptpParser | package tptp

Permalink

class TptpParser extends Parser

Source
TptpParser.scala
Linear Supertypes
Parser, RuleDSL, RuleDSLActions, RuleDSLCombinators, RuleDSLBasics, AnyRef, Any
Type Hierarchy
Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. TptpParser
  2. Parser
  3. RuleDSL
  4. RuleDSLActions
  5. RuleDSLCombinators
  6. RuleDSLBasics
  7. AnyRef
  8. Any
Implicitly
  1. by any2stringadd
  2. by StringFormat
  3. by Ensuring
  4. by ArrowAssoc
  1. Hide All
  2. Show All
Visibility
  1. Public
  2. All

Instance Constructors

  1. new TptpParser(input: ParserInput)

    Permalink

Type Members

  1. sealed trait ActionOperator[I <: HList, O <: HList, Ops] extends AnyRef

    Permalink
    Definition Classes
    RuleDSLActions
  2. sealed trait CharRangeSupport extends AnyRef

    Permalink
    Definition Classes
    RuleDSLBasics
  3. sealed trait NTimes extends AnyRef

    Permalink
    Definition Classes
    RuleDSLCombinators
  4. class TracingBubbleException extends RuntimeException with NoStackTrace

    Permalink
    Definition Classes
    Parser
  5. trait WithSeparatedBy[I <: HList, O <: HList] extends AnyRef

    Permalink
    Definition Classes
    RuleDSLCombinators
  6. class __SubParserInput extends ParserInput

    Permalink
    Attributes
    protected
    Definition Classes
    Parser

Value Members

  1. final def !=(arg0: Any): Boolean

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

    Permalink
    Definition Classes
    AnyRef → Any
  3. def &(r: Rule[_, _]): Rule0

    Permalink
    Definition Classes
    RuleDSLCombinators
    Annotations
    @compileTimeOnly( ... )
  4. def +(other: String): String

    Permalink
    Implicit information
    This member is added by an implicit conversion from TptpParser to any2stringadd[TptpParser] performed by method any2stringadd in scala.Predef.
    Definition Classes
    any2stringadd
  5. def ->[B](y: B): (TptpParser, B)

    Permalink
    Implicit information
    This member is added by an implicit conversion from TptpParser to ArrowAssoc[TptpParser] performed by method ArrowAssoc in scala.Predef.
    Definition Classes
    ArrowAssoc
    Annotations
    @inline()
  6. final def ==(arg0: Any): Boolean

    Permalink
    Definition Classes
    AnyRef → Any
  7. def ANY: Rule0

    Permalink
    Definition Classes
    RuleDSLBasics
    Annotations
    @compileTimeOnly( ... )
  8. def Comma: Rule[HNil, HNil]

    Permalink
  9. def EOI: Char

    Permalink
    Definition Classes
    RuleDSLBasics
  10. def MATCH: Rule0

    Permalink
    Definition Classes
    RuleDSLBasics
  11. def MISMATCH[I <: HList, O <: HList]: Rule[I, O]

    Permalink
    Definition Classes
    RuleDSLBasics
  12. def MISMATCH0: Rule0

    Permalink
    Definition Classes
    RuleDSLBasics
  13. def TPTP_file: Rule1[TptpFile]

    Permalink
  14. def TPTP_input: Rule[HNil, ::[Product with Serializable with TptpInput, HNil]]

    Permalink
  15. def Ws: Rule[HNil, HNil]

    Permalink
  16. def __advance(): Boolean

    Permalink
    Definition Classes
    Parser
  17. def __bubbleUp(prefix: List[NonTerminal], terminal: Terminal): Nothing

    Permalink
    Definition Classes
    Parser
  18. def __bubbleUp(terminal: Terminal): Nothing

    Permalink
    Definition Classes
    Parser
  19. def __enterAtomic(start: Int): Boolean

    Permalink
    Definition Classes
    Parser
  20. def __enterNotPredicate(): AnyRef

    Permalink
    Definition Classes
    Parser
  21. def __enterQuiet(): Int

    Permalink
    Definition Classes
    Parser
  22. def __exitAtomic(saved: Boolean): Unit

    Permalink
    Definition Classes
    Parser
  23. def __exitNotPredicate(saved: AnyRef): Unit

    Permalink
    Definition Classes
    Parser
  24. def __exitQuiet(saved: Int): Unit

    Permalink
    Definition Classes
    Parser
  25. def __hardFail(expected: String): Nothing

    Permalink
    Definition Classes
    Parser
  26. def __inErrorAnalysis: Boolean

    Permalink
    Definition Classes
    Parser
  27. final def __matchAnyOf(string: String, ix: Int): Boolean

    Permalink
    Definition Classes
    Parser
    Annotations
    @tailrec()
  28. final def __matchIgnoreCaseString(string: String, ix: Int): Boolean

    Permalink
    Definition Classes
    Parser
    Annotations
    @tailrec()
  29. final def __matchIgnoreCaseStringWrapped(string: String, ix: Int): Boolean

    Permalink
    Definition Classes
    Parser
    Annotations
    @tailrec()
  30. def __matchMap(m: Map[String, Any]): Boolean

    Permalink
    Definition Classes
    Parser
  31. def __matchMapWrapped(m: Map[String, Any]): Boolean

    Permalink
    Definition Classes
    Parser
  32. final def __matchNoneOf(string: String, ix: Int): Boolean

    Permalink
    Definition Classes
    Parser
    Annotations
    @tailrec()
  33. final def __matchString(string: String, ix: Int): Boolean

    Permalink
    Definition Classes
    Parser
    Annotations
    @tailrec()
  34. final def __matchStringWrapped(string: String, ix: Int): Boolean

    Permalink
    Definition Classes
    Parser
    Annotations
    @tailrec()
  35. def __push(value: Any): Boolean

    Permalink
    Definition Classes
    Parser
  36. def __registerMismatch(): Boolean

    Permalink
    Definition Classes
    Parser
  37. def __restoreState(mark: Mark): Unit

    Permalink
    Definition Classes
    Parser
  38. def __run[L <: HList](rule: ⇒ RuleN[L])(implicit scheme: DeliveryScheme[L]): Result

    Permalink
    Definition Classes
    Parser
  39. def __saveState: Mark

    Permalink
    Definition Classes
    Parser
  40. def __updateMaxCursor(): Boolean

    Permalink
    Definition Classes
    Parser
  41. val alpha_numeric: CharPredicate

    Permalink
  42. def and_formula_part: Rule[::[HOLFormula, HNil], ::[HOLFormula, HNil]]

    Permalink
  43. def annotated_formula: Rule[HNil, ::[AnnotatedFormula, HNil]]

    Permalink
  44. def annotations: Rule[HNil, ::[Seq[LambdaExpression], HNil]]

    Permalink
  45. def anyOf(chars: String): Rule0

    Permalink
    Definition Classes
    RuleDSLBasics
    Annotations
    @compileTimeOnly( ... )
  46. def arguments: Rule[HNil, ::[Seq[LambdaExpression], HNil]]

    Permalink
  47. final def asInstanceOf[T0]: T0

    Permalink
    Definition Classes
    Any
  48. def atomic[I <: HList, O <: HList](r: Rule[I, O]): Rule[I, O]

    Permalink
    Definition Classes
    RuleDSLCombinators
    Annotations
    @compileTimeOnly( ... )
  49. def atomic_formula: Rule[HNil, ::[HOLFormula, HNil]]

    Permalink
  50. def atomic_word: Rule[HNil, ::[String, HNil]]

    Permalink
  51. def binary_connective: Rule[HNil, ::[(LambdaExpression, LambdaExpression) ⇒ HOLFormula, HNil]]

    Permalink
  52. def binary_nonassoc_part: Rule[::[HOLFormula, HNil], ::[HOLFormula, HNil]]

    Permalink
  53. def capture[I <: HList, O <: HList](r: Rule[I, O])(implicit p: Prepend[O, ::[String, HNil]]): Rule[I, Out]

    Permalink
    Definition Classes
    RuleDSLActions
    Annotations
    @compileTimeOnly( ... )
  54. implicit def ch(c: Char): Rule0

    Permalink
    Definition Classes
    RuleDSLBasics
    Annotations
    @compileTimeOnly( ... )
  55. def charAt(offset: Int): Char

    Permalink
    Definition Classes
    Parser
  56. def charAtRC(offset: Int): Char

    Permalink
    Definition Classes
    Parser
  57. def clone(): AnyRef

    Permalink
    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  58. def copyStateFrom(other: Parser, offset: Int): Unit

    Permalink
    Definition Classes
    Parser
  59. def cursor: Int

    Permalink
    Definition Classes
    Parser
  60. def cursorChar: Char

    Permalink
    Definition Classes
    Parser
  61. def decimal: Rule[HNil, HNil]

    Permalink
  62. def defined_prop: Rule[HNil, ::[PropFormula with Const, HNil]]

    Permalink
  63. def distinct_object: Rule[HNil, ::[String, HNil]]

    Permalink
  64. def do_char: Rule[HNil, ::[String, HNil]]

    Permalink
  65. val do_char_pred: CharPredicate

    Permalink
  66. def drop[T](implicit h: HListable[T]): PopRule[Out]

    Permalink
    Definition Classes
    RuleDSLActions
    Annotations
    @compileTimeOnly( ... )
  67. def ensuring(cond: (TptpParser) ⇒ Boolean, msg: ⇒ Any): TptpParser

    Permalink
    Implicit information
    This member is added by an implicit conversion from TptpParser to Ensuring[TptpParser] performed by method Ensuring in scala.Predef.
    Definition Classes
    Ensuring
  68. def ensuring(cond: (TptpParser) ⇒ Boolean): TptpParser

    Permalink
    Implicit information
    This member is added by an implicit conversion from TptpParser to Ensuring[TptpParser] performed by method Ensuring in scala.Predef.
    Definition Classes
    Ensuring
  69. def ensuring(cond: Boolean, msg: ⇒ Any): TptpParser

    Permalink
    Implicit information
    This member is added by an implicit conversion from TptpParser to Ensuring[TptpParser] performed by method Ensuring in scala.Predef.
    Definition Classes
    Ensuring
  70. def ensuring(cond: Boolean): TptpParser

    Permalink
    Implicit information
    This member is added by an implicit conversion from TptpParser to Ensuring[TptpParser] performed by method Ensuring in scala.Predef.
    Definition Classes
    Ensuring
  71. final def eq(arg0: AnyRef): Boolean

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

    Permalink
    Definition Classes
    AnyRef → Any
  73. def errorTraceCollectionLimit: Int

    Permalink
    Definition Classes
    Parser
  74. def fail(expected: String): Rule0

    Permalink
    Definition Classes
    RuleDSLBasics
  75. def failX[I <: HList, O <: HList](expected: String): Rule[I, O]

    Permalink
    Definition Classes
    RuleDSLBasics
  76. def file_name: Rule[HNil, ::[String, HNil]]

    Permalink
  77. def finalize(): Unit

    Permalink
    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( classOf[java.lang.Throwable] )
  78. def fol_quantifier: Rule[HNil, ::[QuantifierHelper, HNil]]

    Permalink
  79. def formatError(error: ParseError, formatter: ErrorFormatter): String

    Permalink
    Definition Classes
    Parser
  80. def formatted(fmtstr: String): String

    Permalink
    Implicit information
    This member is added by an implicit conversion from TptpParser to StringFormat[TptpParser] performed by method StringFormat in scala.Predef.
    Definition Classes
    StringFormat
    Annotations
    @inline()
  81. def formula: Rule[HNil, ::[HOLFormula, HNil]]

    Permalink
  82. def formula_data: Rule1[LambdaExpression]

    Permalink
  83. def formula_role: Rule[HNil, ::[String, HNil]]

    Permalink
  84. def formula_selection: Rule[HNil, ::[Option[Seq[String]], HNil]]

    Permalink
  85. def function_term: Rule[HNil, ::[LambdaExpression, HNil]]

    Permalink
  86. def general_data: Rule1[LambdaExpression]

    Permalink
  87. def general_function: Rule[HNil, ::[LambdaExpression, HNil]]

    Permalink
  88. def general_list: Rule1[Seq[LambdaExpression]]

    Permalink
  89. def general_term: Rule1[LambdaExpression]

    Permalink
  90. def general_terms: Rule[HNil, ::[Seq[LambdaExpression], HNil]]

    Permalink
  91. final def getClass(): Class[_]

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

    Permalink
    Definition Classes
    AnyRef → Any
  93. def ignoreCase(s: String): Rule0

    Permalink
    Definition Classes
    RuleDSLBasics
    Annotations
    @compileTimeOnly( ... )
  94. def ignoreCase(c: Char): Rule0

    Permalink
    Definition Classes
    RuleDSLBasics
    Annotations
    @compileTimeOnly( ... )
  95. def include: Rule[HNil, ::[IncludeDirective, HNil]]

    Permalink
  96. def infix_formula: Rule[HNil, ::[HOLFormula, HNil]]

    Permalink
  97. val input: ParserInput

    Permalink
    Definition Classes
    TptpParser → Parser
  98. implicit def int2NTimes(i: Int): NTimes

    Permalink
    Definition Classes
    RuleDSLCombinators
    Annotations
    @compileTimeOnly( ... )
  99. def integer: Rule[HNil, ::[String, HNil]]

    Permalink
  100. final def isInstanceOf[T0]: Boolean

    Permalink
    Definition Classes
    Any
  101. def lastChar: Char

    Permalink
    Definition Classes
    Parser
  102. def logic_formula: Rule1[HOLFormula]

    Permalink
  103. def lower_word: Rule[HNil, HNil]

    Permalink
  104. def name: Rule1[String]

    Permalink
  105. macro def namedRule[I <: HList, O <: HList](name: String)(r: Rule[I, O]): Rule[I, O]

    Permalink
    Definition Classes
    Parser
  106. final def ne(arg0: AnyRef): Boolean

    Permalink
    Definition Classes
    AnyRef
  107. def noneOf(chars: String): Rule0

    Permalink
    Definition Classes
    RuleDSLBasics
    Annotations
    @compileTimeOnly( ... )
  108. def not_star_slash: Rule[HNil, HNil]

    Permalink
  109. final def notify(): Unit

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

    Permalink
    Definition Classes
    AnyRef
  111. def number: Rule[HNil, ::[String, HNil]]

    Permalink
  112. def oneOrMore[I <: HList, O <: HList](r: Rule[I, O])(implicit l: Lifter[Seq, I, O]): Rule[In, StrictOut] with Repeated

    Permalink
    Definition Classes
    RuleDSLCombinators
    Annotations
    @compileTimeOnly( ... )
  113. def optional[I <: HList, O <: HList](r: Rule[I, O])(implicit l: Lifter[Option, I, O]): Rule[In, OptionalOut]

    Permalink
    Definition Classes
    RuleDSLCombinators
    Annotations
    @compileTimeOnly( ... )
  114. def or_formula_part: Rule[::[HOLFormula, HNil], ::[HOLFormula, HNil]]

    Permalink
  115. def plain_atomic_formula: Rule[HNil, ::[HOLAtom, HNil]]

    Permalink
  116. def positive_decimal: Rule[HNil, HNil]

    Permalink
  117. implicit def predicate(p: CharPredicate): Rule0

    Permalink
    Definition Classes
    RuleDSLBasics
    Annotations
    @compileTimeOnly( ... )
  118. def push[T](value: T)(implicit h: HListable[T]): RuleN[Out]

    Permalink
    Definition Classes
    RuleDSLActions
    Annotations
    @compileTimeOnly( ... )
  119. def quantified_formula: Rule[HNil, ::[HOLFormula, HNil]]

    Permalink
  120. def quiet[I <: HList, O <: HList](r: Rule[I, O]): Rule[I, O]

    Permalink
    Definition Classes
    RuleDSLCombinators
    Annotations
    @compileTimeOnly( ... )
  121. implicit def range2NTimes(range: Range): NTimes

    Permalink
    Definition Classes
    RuleDSLCombinators
    Annotations
    @compileTimeOnly( ... )
  122. def rational: Rule[HNil, ::[String, HNil]]

    Permalink
  123. def real: Rule[HNil, ::[String, HNil]]

    Permalink
  124. macro def rule[I <: HList, O <: HList](r: Rule[I, O]): Rule[I, O]

    Permalink
    Definition Classes
    Parser
  125. implicit def rule2ActionOperator[I <: HList, O <: HList](r: Rule[I, O])(implicit ops: ActionOps[I, O]): ActionOperator[I, O, Out]

    Permalink
    Definition Classes
    RuleDSLActions
    Annotations
    @compileTimeOnly( ... )
  126. implicit def rule2WithSeparatedBy[I <: HList, O <: HList](r: Rule[I, O] with Repeated): WithSeparatedBy[I, O]

    Permalink
    Definition Classes
    RuleDSLCombinators
    Annotations
    @compileTimeOnly( ... )
  127. def run[T](arg: T)(implicit rr: RunResult[T]): Out

    Permalink
    Definition Classes
    RuleDSLActions
    Annotations
    @compileTimeOnly( ... )
  128. def runSubParser[I <: HList, O <: HList](f: (ParserInput) ⇒ Rule[I, O]): Rule[I, O]

    Permalink
    Definition Classes
    RuleDSLCombinators
    Annotations
    @compileTimeOnly( ... )
  129. def sg_char: Rule[HNil, ::[String, HNil]]

    Permalink
  130. val sg_char_pred: CharPredicate

    Permalink
  131. def single_quoted: Rule[HNil, ::[String, HNil]]

    Permalink
  132. implicit def str(s: String): Rule0

    Permalink
    Definition Classes
    RuleDSLBasics
    Annotations
    @compileTimeOnly( ... )
  133. implicit def str2CharRangeSupport(s: String): CharRangeSupport

    Permalink
    Definition Classes
    RuleDSLBasics
    Annotations
    @compileTimeOnly( ... )
  134. final def synchronized[T0](arg0: ⇒ T0): T0

    Permalink
    Definition Classes
    AnyRef
  135. def term: Rule1[LambdaExpression]

    Permalink
  136. def test(condition: Boolean): Rule0

    Permalink
    Definition Classes
    RuleDSLActions
    Annotations
    @compileTimeOnly( ... )
  137. def toString(): String

    Permalink
    Definition Classes
    AnyRef → Any
  138. def unary_formula: Rule[HNil, ::[HOLFormula, HNil]]

    Permalink
  139. def unitary_formula: Rule1[HOLFormula]

    Permalink
  140. def upper_word: Rule[HNil, HNil]

    Permalink
  141. implicit def valueMap[T](m: Map[String, T])(implicit h: HListable[T]): RuleN[Out]

    Permalink
    Definition Classes
    RuleDSLBasics
    Annotations
    @compileTimeOnly( ... )
  142. def valueStack: ValueStack

    Permalink
    Definition Classes
    Parser
  143. def variable: Rule[HNil, ::[FOLVar, HNil]]

    Permalink
  144. def variable_list: Rule[HNil, ::[Seq[FOLVar], HNil]]

    Permalink
  145. final def wait(): Unit

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

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

    Permalink
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  148. def zeroOrMore[I <: HList, O <: HList](r: Rule[I, O])(implicit l: Lifter[Seq, I, O]): Rule[In, OptionalOut] with Repeated

    Permalink
    Definition Classes
    RuleDSLCombinators
    Annotations
    @compileTimeOnly( ... )
  149. def [B](y: B): (TptpParser, B)

    Permalink
    Implicit information
    This member is added by an implicit conversion from TptpParser to ArrowAssoc[TptpParser] performed by method ArrowAssoc in scala.Predef.
    Definition Classes
    ArrowAssoc

Inherited from Parser

Inherited from RuleDSL

Inherited from RuleDSLActions

Inherited from RuleDSLCombinators

Inherited from RuleDSLBasics

Inherited from AnyRef

Inherited from Any

Inherited by implicit conversion any2stringadd from TptpParser to any2stringadd[TptpParser]

Inherited by implicit conversion StringFormat from TptpParser to StringFormat[TptpParser]

Inherited by implicit conversion Ensuring from TptpParser to Ensuring[TptpParser]

Inherited by implicit conversion ArrowAssoc from TptpParser to ArrowAssoc[TptpParser]

Ungrouped