Object

at.logic.gapt.formats.veriT

VeriTParser

Related Doc: package veriT

Permalink

object VeriTParser extends RegexParsers

Source
VeriTParser.scala
Linear Supertypes
RegexParsers, Parsers, AnyRef, Any
Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. VeriTParser
  2. RegexParsers
  3. Parsers
  4. AnyRef
  5. Any
  1. Hide All
  2. Show All
Visibility
  1. Public
  2. All

Type Members

  1. type Elem = Char

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

    Permalink
    Definition Classes
    Parsers
  3. case class Failure extends NoSuccess with Product with Serializable

    Permalink
    Definition Classes
    Parsers
  4. type Input = Reader[Elem]

    Permalink
    Definition Classes
    Parsers
  5. type Instances = (FOLFormula, List[FOLFormula])

    Permalink
  6. sealed abstract class NoSuccess extends ParseResult[Nothing]

    Permalink
    Definition Classes
    Parsers
  7. trait OnceParser[+T] extends Parser[T]

    Permalink
    Definition Classes
    Parsers
  8. sealed abstract class ParseResult[+T] extends AnyRef

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

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

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

    Permalink
    Definition Classes
    Parsers

Value Members

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

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

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

    Permalink
    Definition Classes
    AnyRef → Any
  4. object NoSuccess

    Permalink
    Definition Classes
    Parsers
  5. def OnceParser[T](f: (Input) ⇒ ParseResult[T]): Parser[T] with OnceParser[T]

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

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

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

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

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

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

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

    Permalink
    Definition Classes
    Parsers
  13. def and: Parser[List[String]]

    Permalink
  14. def andFormula: Parser[FOLFormula]

    Permalink
  15. def and_neg: Parser[List[String]]

    Permalink
  16. def and_pos: Parser[List[String]]

    Permalink
  17. final def asInstanceOf[T0]: T0

    Permalink
    Definition Classes
    Any
  18. def binding: Parser[(FOLTerm, FOLTerm)]

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

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

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

    Permalink
    Definition Classes
    Parsers
  22. def clone(): AnyRef

    Permalink
    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  23. def commit[T](p: ⇒ Parser[T]): Parser[T]

    Permalink
    Definition Classes
    Parsers
  24. def conclusion: Parser[List[FOLFormula]]

    Permalink
  25. def constant: Parser[FOLTerm]

    Permalink
  26. def elem(e: Elem): Parser[Elem]

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

    Permalink
    Definition Classes
    Parsers
  28. final def eq(arg0: AnyRef): Boolean

    Permalink
    Definition Classes
    AnyRef
  29. def eqAxiom: Parser[Instances]

    Permalink
  30. def eq_congruence: Parser[Instances]

    Permalink
  31. def eq_congruence_pred: Parser[Instances]

    Permalink
  32. def eq_reflexive: Parser[Instances]

    Permalink
  33. def eq_transitive: Parser[Instances]

    Permalink
  34. def equals(arg0: Any): Boolean

    Permalink
    Definition Classes
    AnyRef → Any
  35. def equiv1: Parser[List[String]]

    Permalink
  36. def equiv2: Parser[List[String]]

    Permalink
  37. def err(msg: String): Parser[Nothing]

    Permalink
    Definition Classes
    Parsers
  38. def expression: Parser[FOLFormula]

    Permalink
  39. def failure(msg: String): Parser[Nothing]

    Permalink
    Definition Classes
    Parsers
  40. def false_: Parser[Nil.type]

    Permalink
  41. def finalize(): Unit

    Permalink
    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( classOf[java.lang.Throwable] )
  42. def formula: Parser[FOLFormula]

    Permalink
  43. def function: Parser[FOLTerm]

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

    Permalink
    Definition Classes
    AnyRef → Any
  45. def getEqCongrInstances(f: List[FOLFormula]): Instances

    Permalink
  46. def getEqCongrPredInstances(f: List[FOLFormula]): Instances

    Permalink
  47. def getEqReflInstances(f: List[FOLFormula]): Instances

    Permalink
  48. def getEqTransInstances(l: List[FOLFormula]): Instances

    Permalink
  49. def getExpansionProof(reader: Reader): Option[ExpansionSequent]

    Permalink
  50. def getExpansionProof(filename: String): Option[ExpansionSequent]

    Permalink
  51. def getExpansionProofWithSymmetry(fileName: String): Option[ExpansionSequent]

    Permalink
  52. def guard[T](p: ⇒ Parser[T]): Parser[T]

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

    Permalink
    Attributes
    protected
    Definition Classes
    RegexParsers
  54. def hashCode(): Int

    Permalink
    Definition Classes
    AnyRef → Any
  55. def header: Parser[String]

    Permalink
  56. def implFormula: Parser[FOLFormula]

    Permalink
  57. def implies: Parser[List[String]]

    Permalink
  58. def implies_neg1: Parser[List[String]]

    Permalink
  59. def implies_neg2: Parser[List[String]]

    Permalink
  60. def implies_pos: Parser[List[String]]

    Permalink
  61. def innerRule: Parser[List[String]]

    Permalink
  62. def input: Parser[List[FOLFormula]]

    Permalink
  63. final def isInstanceOf[T0]: Boolean

    Permalink
    Definition Classes
    Any
  64. def isUnsat(reader: Reader): Boolean

    Permalink
  65. def isUnsat(filename: String): Boolean

    Permalink
  66. def label: Parser[String]

    Permalink
  67. def let: Parser[FOLFormula]

    Permalink
  68. implicit def literal(s: String): Parser[String]

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

    Permalink
    Definition Classes
    Parsers
  70. def mkList[T]: (~[T, List[T]]) ⇒ List[T]

    Permalink
    Definition Classes
    Parsers
  71. def msg: Parser[String]

    Permalink
  72. def name: Parser[String]

    Permalink
  73. final def ne(arg0: AnyRef): Boolean

    Permalink
    Definition Classes
    AnyRef
  74. def not[T](p: ⇒ Parser[T]): Parser[Unit]

    Permalink
    Definition Classes
    Parsers
  75. def notFormula: Parser[FOLFormula]

    Permalink
  76. def not_and: Parser[List[String]]

    Permalink
  77. def not_implies1: Parser[List[String]]

    Permalink
  78. def not_implies2: Parser[List[String]]

    Permalink
  79. def not_or: Parser[List[String]]

    Permalink
  80. final def notify(): Unit

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

    Permalink
    Definition Classes
    AnyRef
  82. def opt[T](p: ⇒ Parser[T]): Parser[Option[T]]

    Permalink
    Definition Classes
    Parsers
  83. def or: Parser[List[String]]

    Permalink
  84. def orFormula: Parser[FOLFormula]

    Permalink
  85. def or_neg: Parser[List[String]]

    Permalink
  86. def or_pos: Parser[List[String]]

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

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

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

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

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

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

    Permalink
    Definition Classes
    RegexParsers
  93. def parseUnsat: Parser[Boolean]

    Permalink
  94. def phrase[T](p: Parser[T]): Parser[T]

    Permalink
    Definition Classes
    RegexParsers → Parsers
  95. def positioned[T <: Positional](p: ⇒ Parser[T]): Parser[T]

    Permalink
    Definition Classes
    RegexParsers → Parsers
  96. def pred: Parser[FOLFormula]

    Permalink
  97. def premises: Parser[List[String]]

    Permalink
  98. def preprocess: Parser[(String, List[FOLFormula])]

    Permalink
  99. def proof: Parser[Option[ExpansionSequent]]

    Permalink
  100. implicit def regex(r: Regex): Parser[String]

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

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

    Permalink
    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.

  103. def rep1[T](p: ⇒ Parser[T]): Parser[List[T]]

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

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

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

    Permalink
    Definition Classes
    Parsers
  107. def resolution: Parser[List[String]]

    Permalink
  108. def rule: Parser[(List[String], Option[Instances])]

    Permalink
  109. def rulePreProc: Parser[List[FOLFormula]]

    Permalink
  110. def rules: Parser[(List[String], Option[Instances])]

    Permalink
  111. def sat: Parser[String]

    Permalink
  112. def skipWhitespace: Boolean

    Permalink
    Definition Classes
    RegexParsers
  113. def success: Parser[String]

    Permalink
  114. def success[T](v: T): Parser[T]

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

    Permalink
    Definition Classes
    AnyRef
  116. def term: Parser[FOLTerm]

    Permalink
  117. def title: Parser[String]

    Permalink
  118. def tmp_alphaconv: Parser[List[FOLFormula]]

    Permalink
  119. def tmp_distinct_elim: Parser[List[FOLFormula]]

    Permalink
  120. def tmp_let_elim: Parser[List[FOLFormula]]

    Permalink
  121. def toString(): String

    Permalink
    Definition Classes
    AnyRef → Any
  122. def true_: Parser[Nil.type]

    Permalink
  123. def unsat: Parser[String]

    Permalink
  124. def var_name: Parser[String]

    Permalink
  125. def variable: Parser[FOLTerm]

    Permalink
  126. final def wait(): Unit

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

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

    Permalink
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  129. val whiteSpace: Regex

    Permalink
    Attributes
    protected
    Definition Classes
    RegexParsers

Inherited from RegexParsers

Inherited from Parsers

Inherited from AnyRef

Inherited from Any

Ungrouped