Trait

at.logic.gapt.formats.simple

SimpleResolutionParserFOL

Related Doc: package simple

Permalink

trait SimpleResolutionParserFOL extends SimpleResolutionParser with SimpleFOLParser

Linear Supertypes
Type Hierarchy Learn more about scaladoc diagrams
Ordering
  1. Alphabetic
  2. By inheritance
Inherited
  1. SimpleResolutionParserFOL
  2. SimpleFOLParser
  3. SimpleHOLParser
  4. Parsers
  5. JavaTokenParsers
  6. HOLParser
  7. SimpleResolutionParser
  8. ResolutionParser
  9. InputParser
  10. RegexParsers
  11. Parsers
  12. AnyRef
  13. 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 = 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. sealed abstract class NoSuccess extends ParseResult[Nothing]

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

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

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

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

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

    Permalink
    Definition Classes
    Parsers

Abstract Value Members

  1. abstract def getInput(): Reader

    Permalink
    Definition Classes
    InputParser

Concrete Value Members

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

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

    Permalink
    Definition Classes
    AnyRef → Any
  3. def +(other: String): String

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

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

    Permalink
    Definition Classes
    AnyRef → Any
  6. object NoSuccess

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

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

    Permalink
    Definition Classes
    Parsers
  9. def Type: Parser[TA]

    Permalink
    Definition Classes
    Parsers
  10. def abs: Parser[LambdaExpression]

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

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

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

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

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

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

    Permalink
    Definition Classes
    Parsers
  17. def and: Parser[HOLFormula]

    Permalink
    Definition Classes
    SimpleFOLParserSimpleHOLParser
  18. def arrowType: Parser[TA]

    Permalink
    Definition Classes
    Parsers
  19. final def asInstanceOf[T0]: T0

    Permalink
    Definition Classes
    Any
  20. def atom: Parser[HOLFormula]

    Permalink
    Definition Classes
    SimpleFOLParserSimpleHOLParser
  21. def chainl1[T, U](first: ⇒ Parser[T], p: ⇒ Parser[U], q: ⇒ Parser[(T, U) ⇒ T]): Parser[T]

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

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

    Permalink
    Definition Classes
    Parsers
  24. def clause: Parser[HOLSequent]

    Permalink
  25. def clauseList: Parser[List[HOLSequent]]

    Permalink
  26. def clone(): AnyRef

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

    Permalink
    Definition Classes
    Parsers
  28. def const_atom: Parser[HOLFormula]

    Permalink
    Definition Classes
    SimpleFOLParserSimpleHOLParser
  29. def const_atom1: Parser[HOLFormula]

    Permalink
    Definition Classes
    SimpleFOLParser
  30. def const_atom2: Parser[HOLFormula]

    Permalink
    Definition Classes
    SimpleFOLParser
  31. def const_func: Parser[LambdaExpression]

    Permalink
    Definition Classes
    SimpleFOLParserSimpleHOLParser
  32. def constant: Parser[Const]

    Permalink
    Definition Classes
    SimpleFOLParserSimpleHOLParser
  33. def decimalNumber: Parser[String]

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

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

    Permalink
    Definition Classes
    Parsers
  36. def ensuring(cond: (SimpleResolutionParserFOL) ⇒ Boolean, msg: ⇒ Any): SimpleResolutionParserFOL

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

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

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

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

    Permalink
    Definition Classes
    AnyRef
  41. def eq_prefix: Parser[HOLFormula]

    Permalink
    Definition Classes
    SimpleHOLParser
  42. def equality: Parser[HOLFormula]

    Permalink
    Definition Classes
    SimpleHOLParser
  43. def equals(arg0: Any): Boolean

    Permalink
    Definition Classes
    AnyRef → Any
  44. def equation: Parser[HOLFormula]

    Permalink
    Definition Classes
    SimpleFOLParser
  45. def err(msg: String): Parser[Nothing]

    Permalink
    Definition Classes
    Parsers
  46. def exists: Parser[HOLFormula]

    Permalink
    Definition Classes
    SimpleFOLParserSimpleHOLParser
  47. def failure(msg: String): Parser[Nothing]

    Permalink
    Definition Classes
    Parsers
  48. def filterPosFormulas(f: HOLFormula): Boolean

    Permalink
    Attributes
    protected
    Definition Classes
    SimpleResolutionParser
  49. def finalize(): Unit

    Permalink
    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( classOf[java.lang.Throwable] )
  50. def floatingPointNumber: Parser[String]

    Permalink
    Definition Classes
    JavaTokenParsers
  51. def forall: Parser[HOLFormula]

    Permalink
    Definition Classes
    SimpleFOLParserSimpleHOLParser
  52. def formatted(fmtstr: String): String

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

    Permalink
  54. def formula2: Parser[HOLFormula]

    Permalink
    Attributes
    protected
    Definition Classes
    SimpleResolutionParser
  55. final def getClass(): Class[_]

    Permalink
    Definition Classes
    AnyRef → Any
  56. def getClauseList(): List[HOLSequent]

    Permalink
    Definition Classes
    ResolutionParser
  57. def getTerm(): LambdaExpression

    Permalink
    Definition Classes
    HOLParser
  58. def goal: Parser[LambdaExpression]

    Permalink
    Definition Classes
    SimpleFOLParserSimpleHOLParserHOLParser
  59. def guard[T](p: ⇒ Parser[T]): Parser[T]

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

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

    Permalink
    Definition Classes
    AnyRef → Any
  62. def iType: Parser[TA]

    Permalink
    Definition Classes
    Parsers
  63. def ident: Parser[String]

    Permalink
    Definition Classes
    JavaTokenParsers
  64. def imp: Parser[HOLFormula]

    Permalink
    Definition Classes
    SimpleFOLParserSimpleHOLParser
  65. def indexType: Parser[TA]

    Permalink
    Definition Classes
    Parsers
  66. final def isInstanceOf[T0]: Boolean

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

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

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

    Permalink
    Definition Classes
    Parsers
  70. final def ne(arg0: AnyRef): Boolean

    Permalink
    Definition Classes
    AnyRef
  71. def neg: Parser[HOLFormula]

    Permalink
  72. def neg2: Parser[HOLFormula]

    Permalink
    Attributes
    protected
    Definition Classes
    SimpleResolutionParser
  73. def non_formula: Parser[LambdaExpression]

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

    Permalink
    Definition Classes
    Parsers
  75. final def notify(): Unit

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

    Permalink
    Definition Classes
    AnyRef
  77. def oType: Parser[TA]

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

    Permalink
    Definition Classes
    Parsers
  79. def or: Parser[HOLFormula]

    Permalink
    Definition Classes
    SimpleFOLParserSimpleHOLParser
  80. def parse[T](p: Parser[T], in: Reader): ParseResult[T]

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

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

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

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

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

    Permalink
    Definition Classes
    RegexParsers
  86. def phrase[T](p: Parser[T]): Parser[T]

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

    Permalink
    Definition Classes
    RegexParsers → Parsers
  88. implicit def regex(r: Regex): Parser[String]

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

    Permalink
    Definition Classes
    Parsers
  90. 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.

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

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

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

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

    Permalink
    Definition Classes
    Parsers
  95. def skipWhitespace: Boolean

    Permalink
    Definition Classes
    RegexParsers
  96. def stringLiteral: Parser[String]

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

  97. def stripNeg(f: HOLFormula): HOLFormula

    Permalink
    Attributes
    protected
    Definition Classes
    SimpleResolutionParser
  98. def success[T](v: T): Parser[T]

    Permalink
    Definition Classes
    Parsers
  99. def symbol: Parser[String]

    Permalink
    Attributes
    protected
    Definition Classes
    SimpleHOLParser
  100. def symbols: String

    Permalink
    Definition Classes
    SimpleHOLParser
  101. final def synchronized[T0](arg0: ⇒ T0): T0

    Permalink
    Definition Classes
    AnyRef
  102. def term: Parser[LambdaExpression]

    Permalink
    Definition Classes
    SimpleFOLParserSimpleHOLParser
  103. def toString(): String

    Permalink
    Definition Classes
    AnyRef → Any
  104. def var_atom: Parser[HOLFormula]

    Permalink
    Definition Classes
    SimpleHOLParser
  105. def var_func: Parser[LambdaExpression]

    Permalink
    Definition Classes
    SimpleHOLParser
  106. def variable: Parser[Var]

    Permalink
    Definition Classes
    SimpleFOLParserSimpleHOLParser
  107. final def wait(): Unit

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

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

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

    Permalink
    Attributes
    protected
    Definition Classes
    RegexParsers
  111. def wholeNumber: Parser[String]

    Permalink
    Definition Classes
    JavaTokenParsers
  112. val word: String

    Permalink
    Attributes
    protected
    Definition Classes
    SimpleHOLParser
  113. def [B](y: B): (SimpleResolutionParserFOL, B)

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

Inherited from SimpleFOLParser

Inherited from SimpleHOLParser

Inherited from Parsers

Inherited from JavaTokenParsers

Inherited from HOLParser

Inherited from SimpleResolutionParser

Inherited from ResolutionParser

Inherited from InputParser

Inherited from RegexParsers

Inherited from Parsers

Inherited from AnyRef

Inherited from Any

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

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

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

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

Ungrouped