trait Base extends TokenParsers with PackratParsers

The Base trait implements the common parsers shared both by problems and proof objects described by the TPTP syntax. They return an AST representation of the syntax, logic formulas are translated to their corresponding representation in Scavenger.

Linear Supertypes
PackratParsers, TokenParsers, Parsers, AnyRef, Any
Known Subclasses
CNF, FOF, TFF, THF, TPTPCNFParser, TPTPFOFParser
Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. Base
  2. PackratParsers
  3. TokenParsers
  4. Parsers
  5. AnyRef
  6. 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

Type Members

  1. type Elem = TPTPLexical.Token
    Definition Classes
    TokenParsers → Parsers
  2. case class Error extends NoSuccess with Product with Serializable
    Definition Classes
    Parsers
  3. case class Failure extends NoSuccess with Product with Serializable
    Definition Classes
    Parsers
  4. type Input = Reader[Elem]
    Definition Classes
    Parsers
  5. sealed abstract class NoSuccess extends ParseResult[Nothing]
    Definition Classes
    Parsers
  6. trait OnceParser[+T] extends Parser[T]
    Definition Classes
    Parsers
  7. abstract class PackratParser[+T] extends scala.util.parsing.combinator.PackratParsers.Parser[T]
    Definition Classes
    PackratParsers
  8. class PackratReader[+T] extends Reader[T]
    Definition Classes
    PackratParsers
  9. sealed abstract class ParseResult[+T] extends AnyRef
    Definition Classes
    Parsers
  10. abstract class Parser[+T] extends (Input) ⇒ ParseResult[T]
    Definition Classes
    Parsers
  11. case class Success[+T] extends ParseResult[T] with Product with Serializable
    Definition Classes
    Parsers
  12. type Tokens = TPTPTokens
    Definition Classes
    Base → TokenParsers
  13. case class ~[+a, +b] extends Product with Serializable
    Definition Classes
    Parsers

Abstract Value Members

  1. abstract val includesDir: Path

Concrete Value Members

  1. final def !=(arg0: Any): Boolean
    Definition Classes
    AnyRef → Any
  2. final def ##(): Int
    Definition Classes
    AnyRef → Any
  3. def +(other: String): String
    Implicit
    This member is added by an implicit conversion from Base to any2stringadd[Base] performed by method any2stringadd in scala.Predef.
    Definition Classes
    any2stringadd
  4. def ->[B](y: B): (Base, B)
    Implicit
    This member is added by an implicit conversion from Base to ArrowAssoc[Base] performed by method ArrowAssoc in scala.Predef.
    Definition Classes
    ArrowAssoc
    Annotations
    @inline()
  5. final def ==(arg0: Any): Boolean
    Definition Classes
    AnyRef → Any
  6. def OnceParser[T](f: (Input) ⇒ ParseResult[T]): Parser[T] with OnceParser[T]
    Definition Classes
    Parsers
  7. def Parser[T](f: (Input) ⇒ ParseResult[T]): Parser[T]
    Definition Classes
    Parsers
  8. def TPTP_file: Parser[List[TPTPDirective]]
  9. def TPTP_input: Parser[List[TPTPDirective]]
  10. def accept[U](expected: String, f: PartialFunction[Elem, U]): Parser[U]
    Definition Classes
    Parsers
  11. def accept[ES](es: ES)(implicit arg0: (ES) ⇒ List[Elem]): Parser[List[Elem]]
    Definition Classes
    Parsers
  12. implicit def accept(e: Elem): Parser[Elem]
    Definition Classes
    Parsers
  13. def acceptIf(p: (Elem) ⇒ Boolean)(err: (Elem) ⇒ String): Parser[Elem]
    Definition Classes
    Parsers
  14. def acceptMatch[U](expected: String, f: PartialFunction[Elem, U]): Parser[U]
    Definition Classes
    Parsers
  15. def acceptSeq[ES](es: ES)(implicit arg0: (ES) ⇒ Iterable[Elem]): Parser[List[Elem]]
    Definition Classes
    Parsers
  16. def annotatedPattern(languageToken: TPTPLexical.Token, expectedFormula: Parser[RepresentedFormula]): Parser[~[~[~[String, String], RepresentedFormula], Annotations]]
  17. def annotated_formula: Parser[AnnotatedFormula]
  18. def annotations: Parser[Annotations]
  19. def arguments: Parser[List[E]]
  20. final def asInstanceOf[T0]: T0
    Definition Classes
    Any
  21. def assoc_connective: Parser[TPTPLexical.Token]
  22. def atomic_defined_word: Parser[String]
  23. def atomic_formula: Parser[E]
  24. def atomic_system_word: Parser[String]
  25. def atomic_word: Parser[String]
  26. def binary_connective: Parser[TPTPLexical.Token]
  27. def chainl1[T, U](first: ⇒ Parser[T], p: ⇒ Parser[U], q: ⇒ Parser[(T, U) ⇒ T]): Parser[T]
    Definition Classes
    Parsers
  28. def chainl1[T](p: ⇒ Parser[T], q: ⇒ Parser[(T, T) ⇒ T]): Parser[T]
    Definition Classes
    Parsers
  29. def chainr1[T, U](p: ⇒ Parser[T], q: ⇒ Parser[(T, U) ⇒ U], combine: (T, U) ⇒ U, first: U): Parser[U]
    Definition Classes
    Parsers
  30. def clone(): AnyRef
    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  31. def cnf_annotated: Parser[AnnotatedFormula]
  32. def cnf_formula: Parser[RepresentedFormula]
  33. def commit[T](p: ⇒ Parser[T]): Parser[T]
    Definition Classes
    Parsers
  34. def conditional_term: Parser[E]
  35. def constant: Parser[String]
  36. def defined_infix_formula: Parser[E]
  37. def defined_plain_formula: Parser[E]
  38. def defined_plain_term: Parser[(String, List[E])]
  39. def defined_type: Parser[String]
  40. lazy val disjunction: PackratParser[(List[E], List[E])]
  41. def elem(e: Elem): Parser[Elem]
    Definition Classes
    Parsers
  42. def elem(kind: String, p: (Elem) ⇒ Boolean): Parser[Elem]
    Definition Classes
    Parsers
  43. def ensuring(cond: (Base) ⇒ Boolean, msg: ⇒ Any): Base
    Implicit
    This member is added by an implicit conversion from Base to Ensuring[Base] performed by method Ensuring in scala.Predef.
    Definition Classes
    Ensuring
  44. def ensuring(cond: (Base) ⇒ Boolean): Base
    Implicit
    This member is added by an implicit conversion from Base to Ensuring[Base] performed by method Ensuring in scala.Predef.
    Definition Classes
    Ensuring
  45. def ensuring(cond: Boolean, msg: ⇒ Any): Base
    Implicit
    This member is added by an implicit conversion from Base to Ensuring[Base] performed by method Ensuring in scala.Predef.
    Definition Classes
    Ensuring
  46. def ensuring(cond: Boolean): Base
    Implicit
    This member is added by an implicit conversion from Base to Ensuring[Base] performed by method Ensuring in scala.Predef.
    Definition Classes
    Ensuring
  47. final def eq(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef
  48. def equals(arg0: Any): Boolean
    Definition Classes
    AnyRef → Any
  49. def err(msg: String): Parser[Nothing]
    Definition Classes
    Parsers
  50. def expandIncludes(directives: List[TPTPDirective], parser: Parser[List[TPTPDirective]]): List[TPTPDirective]

    A simple implementation for the expansion of include directives

    A simple implementation for the expansion of include directives

    TODO: Detect include loops TODO: Analyze whether to track only the selected formulas or all the file (as done know). This is not trivial because thf and tff define types annotated formulas with the same name of the annotated formula.

    directives

    A list of TPTP directives (includes and/or annotated formulas)

    returns

    The expansion of all the includes (recursively) to the files

  51. def extract[Target](fileName: Path, parser: Parser[Target]): Target
  52. def failure(msg: String): Parser[Nothing]
    Definition Classes
    Parsers
  53. def file_name: Parser[String]
  54. def finalize(): Unit
    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( classOf[java.lang.Throwable] )
  55. lazy val fof_and_formula: PackratParser[E]
  56. def fof_annotated: Parser[AnnotatedFormula]
  57. def fof_binary_assoc: Parser[E]
  58. def fof_binary_formula: Parser[E]
  59. def fof_binary_non_assoc: Parser[E]
  60. def fof_formula: Parser[RepresentedFormula]
  61. def fof_logic_formula: Parser[E]
  62. lazy val fof_or_formula: PackratParser[E]
  63. def fof_quantified_formula: Parser[E]
  64. def fof_sequent: Parser[RepresentedFormula]
  65. def fof_tuple: Parser[List[E]]
  66. def fof_unary_formula: Parser[E]
  67. def fof_unitary_formula: Parser[E]
  68. def fol_infix_unary: Parser[~[E, E]]
  69. def fol_quantifier: Parser[TPTPLexical.Token]
  70. def formatted(fmtstr: String): String
    Implicit
    This member is added by an implicit conversion from Base to StringFormat[Base] performed by method StringFormat in scala.Predef.
    Definition Classes
    StringFormat
    Annotations
    @inline()
  71. def formula_data: Parser[FormulaData]
  72. def formula_role: Parser[String]
  73. def function_term: Parser[E]
  74. def general_data: Parser[GeneralData]
  75. def general_function: Parser[GFunc]
  76. def general_list: Parser[List[GeneralTerm]]
  77. def general_term: Parser[GeneralTerm]
  78. def general_terms: Parser[List[GeneralTerm]]
  79. def gentzen_arrow: Parser[String]
  80. final def getClass(): Class[_]
    Definition Classes
    AnyRef → Any
  81. def getSeenVars: Set[Sym]
  82. def guard[T](p: ⇒ Parser[T]): Parser[T]
    Definition Classes
    Parsers
  83. def hashCode(): Int
    Definition Classes
    AnyRef → Any
  84. def include: Parser[List[TPTPDirective]]
  85. final def isInstanceOf[T0]: Boolean
    Definition Classes
    Any
  86. def let_term: Parser[E]
  87. val lexical: TPTPLexical
    Definition Classes
    Base → TokenParsers
  88. def literal: Parser[Either[E, E]]
  89. def log[T](p: ⇒ Parser[T])(name: String): Parser[T]
    Definition Classes
    Parsers
  90. def memo[T](p: Parser[T]): PackratParser[T]
    Definition Classes
    PackratParsers
  91. def mkList[T]: (~[T, List[T]]) ⇒ List[T]
    Definition Classes
    Parsers
  92. def name: Parser[String]
  93. final def ne(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef
  94. def not[T](p: ⇒ Parser[T]): Parser[Unit]
    Definition Classes
    Parsers
  95. final def notify(): Unit
    Definition Classes
    AnyRef
  96. final def notifyAll(): Unit
    Definition Classes
    AnyRef
  97. def number: Parser[String]
  98. def opt[T](p: ⇒ Parser[T]): Parser[Option[T]]
    Definition Classes
    Parsers
  99. def optional_info: Parser[List[GeneralTerm]]
  100. def parse[Target](input: Path, parser: Parser[Target]): ParseResult[Target]
  101. def parseString[Target](input: Reader[Char], parser: Parser[Target]): ParseResult[Target]
  102. implicit def parser2packrat[T](p: ⇒ Parser[T]): PackratParser[T]
    Definition Classes
    PackratParsers
  103. def phrase[T](p: Parser[T]): PackratParser[T]
    Definition Classes
    PackratParsers → Parsers
  104. def plain_atomic_formula: Parser[E]
  105. def plain_term: Parser[(String, List[E])]
  106. def positioned[T <: Positional](p: ⇒ Parser[T]): Parser[T]
    Definition Classes
    Parsers
  107. def rep[T](p: ⇒ Parser[T]): Parser[List[T]]
    Definition Classes
    Parsers
  108. 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.

  109. def rep1[T](p: ⇒ Parser[T]): Parser[List[T]]
    Definition Classes
    Parsers
  110. def rep1sep[T](p: ⇒ Parser[T], q: ⇒ Parser[Any]): Parser[List[T]]
    Definition Classes
    Parsers
  111. def repN[T](num: Int, p: ⇒ Parser[T]): Parser[List[T]]
    Definition Classes
    Parsers
  112. def repsep[T](p: ⇒ Parser[T], q: ⇒ Parser[Any]): Parser[List[T]]
    Definition Classes
    Parsers
  113. def resetVarsSeen(): Unit
  114. def source: Parser[Source]
  115. def subtype_sign: Parser[String]
  116. def success[T](v: T): Parser[T]
    Definition Classes
    Parsers
  117. final def synchronized[T0](arg0: ⇒ T0): T0
    Definition Classes
    AnyRef
  118. def system_atomic_formula: Parser[E]
  119. def system_term: Parser[(String, List[E])]
  120. def system_type: Parser[String]
  121. def term: Parser[E]
  122. lazy val tff_and_formula: PackratParser[E]
  123. def tff_annotated: Parser[AnnotatedFormula]
  124. def tff_atomic_type: Parser[T]
  125. def tff_binary_assoc: Parser[E]
  126. def tff_binary_formula: Parser[E]
  127. def tff_binary_non_assoc: Parser[E]
  128. def tff_conditional: Parser[E]
  129. def tff_formula: Parser[RepresentedFormula]
  130. def tff_let: Parser[E]
  131. def tff_logic_formula: Parser[E]
  132. def tff_mapping_type: Parser[T]
  133. def tff_monotype: Parser[T]
  134. lazy val tff_or_formula: PackratParser[E]
  135. def tff_quantified_formula: Parser[E]
  136. def tff_quantified_type: Parser[T]
  137. def tff_sequent: Parser[RepresentedFormula]
  138. def tff_top_level_type: Parser[T]
  139. def tff_tuple: Parser[List[E]]
  140. def tff_type_arguments: Parser[List[T]]
  141. def tff_typed_atom: Parser[RepresentedFormula]
  142. def tff_typed_variable: Parser[(Var, T)]
  143. def tff_unary_formula: Parser[E]
  144. def tff_unitary_formula: Parser[E]
  145. def tff_unitary_type: Parser[T]
  146. def tff_untyped_atom: Parser[String]
  147. def tff_variable: Parser[(Var, T)]
  148. lazy val tff_xprod_type: PackratParser[T]
  149. lazy val thf_and_formula: PackratParser[E]
  150. def thf_annotated: Parser[AnnotatedFormula]
  151. lazy val thf_apply_formula: PackratParser[E]
  152. def thf_atom: Parser[E]
  153. def thf_binary_formula: Parser[E]
  154. def thf_binary_pair: Parser[E]
  155. def thf_binary_tuple: Parser[E]
  156. def thf_binary_type: Parser[T]
  157. def thf_conditional: Parser[E]
  158. def thf_conn_term: Parser[E]
  159. def thf_formula: Parser[RepresentedFormula]
  160. def thf_let: Parser[Nothing]
  161. def thf_logic_formula: Parser[E]
  162. lazy val thf_mapping_type: PackratParser[T]
  163. lazy val thf_or_formula: PackratParser[E]
  164. def thf_pair_connective: Parser[TPTPLexical.Token]
  165. def thf_quantified_formula: Parser[E]
  166. def thf_quantifier: Parser[TPTPLexical.Token]
  167. def thf_sequent: Parser[RepresentedFormula]
  168. def thf_subtype: Parser[SimpleType]
  169. def thf_top_level_type: Parser[T]
  170. def thf_tuple: Parser[List[E]]
  171. def thf_type_formula: Parser[SimpleType]
  172. def thf_typeable_formula: Parser[String]
  173. def thf_typed_variable: Parser[(Var, T)]
  174. def thf_unary_connective: Parser[Any]
  175. def thf_unary_formula: Parser[E]
  176. lazy val thf_union_type: PackratParser[T]
  177. def thf_unitary_formula: Parser[E]
  178. def thf_unitary_type: Parser[T]
  179. def thf_variable: Parser[(Var, T)]
  180. lazy val thf_xprod_type: PackratParser[T]
  181. def toString(): String
    Definition Classes
    AnyRef → Any
  182. def tokens(input: Reader[Char]): TPTPLexical.Scanner
  183. def tokens(input: String): TPTPLexical.Scanner
  184. def tpi_annotated: Parser[AnnotatedFormula]
  185. def tpi_formula: Parser[RepresentedFormula]
  186. val typedExpressions: HashMap[String, T]
  187. def unary_connective: Parser[TPTPLexical.Token]
  188. def useful_info: Parser[List[GeneralTerm]]
  189. def variable: Parser[String]
  190. final def wait(): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  191. final def wait(arg0: Long, arg1: Int): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  192. final def wait(arg0: Long): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  193. def →[B](y: B): (Base, B)
    Implicit
    This member is added by an implicit conversion from Base to ArrowAssoc[Base] performed by method ArrowAssoc in scala.Predef.
    Definition Classes
    ArrowAssoc

Inherited from PackratParsers

Inherited from TokenParsers

Inherited from Parsers

Inherited from AnyRef

Inherited from Any

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

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

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

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

Ungrouped