c

org.aossie.scavenger.parser

TPTPCNFParser

class TPTPCNFParser extends Parser with CNF

Linear Supertypes
CNF, Base, PackratParsers, TokenParsers, Parsers, parser.Parser, AnyRef, Any
Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. TPTPCNFParser
  2. CNF
  3. Base
  4. PackratParsers
  5. TokenParsers
  6. Parsers
  7. Parser
  8. AnyRef
  9. 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 TPTPCNFParser(includesDir: Path)

Type Members

  1. type Elem = TPTP.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

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 TPTPCNFParser to any2stringadd[TPTPCNFParser] performed by method any2stringadd in scala.Predef.
    Definition Classes
    any2stringadd
  4. def ->[B](y: B): (TPTPCNFParser, B)
    Implicit
    This member is added by an implicit conversion from TPTPCNFParser to ArrowAssoc[TPTPCNFParser] 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]]
    Definition Classes
    Base
  9. def TPTP_input: Parser[List[TPTPDirective]]
    Definition Classes
    Base
  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: TPTP.TPTPLexical.Token, expectedFormula: Parser[RepresentedFormula]): Parser[~[~[~[String, String], RepresentedFormula], Annotations]]
    Definition Classes
    Base
  17. def annotated_formula: Parser[AnnotatedFormula]
    Definition Classes
    Base
  18. def annotations: Parser[Annotations]
    Definition Classes
    Base
  19. def arguments: Parser[List[E]]
    Definition Classes
    Base
  20. final def asInstanceOf[T0]: T0
    Definition Classes
    Any
  21. def assoc_connective: Parser[TPTP.TPTPLexical.Token]
    Definition Classes
    Base
  22. def atomic_defined_word: Parser[String]
    Definition Classes
    Base
  23. def atomic_formula: Parser[E]
    Definition Classes
    Base
  24. def atomic_system_word: Parser[String]
    Definition Classes
    Base
  25. def atomic_word: Parser[String]
    Definition Classes
    Base
  26. def binary_connective: Parser[TPTP.TPTPLexical.Token]
    Definition Classes
    Base
  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]
    Definition Classes
    Base
  32. def cnf_formula: Parser[RepresentedFormula]
    Definition Classes
    Base
  33. def commit[T](p: ⇒ Parser[T]): Parser[T]
    Definition Classes
    Parsers
  34. def conditional_term: Parser[E]
    Definition Classes
    Base
  35. def constant: Parser[String]
    Definition Classes
    Base
  36. def defined_infix_formula: Parser[E]
    Definition Classes
    Base
  37. def defined_plain_formula: Parser[E]
    Definition Classes
    Base
  38. def defined_plain_term: Parser[(String, List[E])]
    Definition Classes
    Base
  39. def defined_type: Parser[String]
    Definition Classes
    Base
  40. lazy val disjunction: PackratParser[(List[E], List[E])]
    Definition Classes
    Base
  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: (TPTPCNFParser) ⇒ Boolean, msg: ⇒ Any): TPTPCNFParser
    Implicit
    This member is added by an implicit conversion from TPTPCNFParser to Ensuring[TPTPCNFParser] performed by method Ensuring in scala.Predef.
    Definition Classes
    Ensuring
  44. def ensuring(cond: (TPTPCNFParser) ⇒ Boolean): TPTPCNFParser
    Implicit
    This member is added by an implicit conversion from TPTPCNFParser to Ensuring[TPTPCNFParser] performed by method Ensuring in scala.Predef.
    Definition Classes
    Ensuring
  45. def ensuring(cond: Boolean, msg: ⇒ Any): TPTPCNFParser
    Implicit
    This member is added by an implicit conversion from TPTPCNFParser to Ensuring[TPTPCNFParser] performed by method Ensuring in scala.Predef.
    Definition Classes
    Ensuring
  46. def ensuring(cond: Boolean): TPTPCNFParser
    Implicit
    This member is added by an implicit conversion from TPTPCNFParser to Ensuring[TPTPCNFParser] 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

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

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

Inherited from CNF

Inherited from Base

Inherited from PackratParsers

Inherited from TokenParsers

Inherited from Parsers

Inherited from parser.Parser

Inherited from AnyRef

Inherited from Any

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

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

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

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

Ungrouped