smtlib.lexer

Tokens

object Tokens

Linear Supertypes
AnyRef, Any
Ordering
  1. Alphabetic
  2. By inheritance
Inherited
  1. Tokens
  2. AnyRef
  3. Any
  1. Hide All
  2. Show all
Learn more about member selection
Visibility
  1. Public
  2. All

Type Members

  1. case class BinaryLit(content: Seq[Boolean]) extends Token with Product with Serializable

  2. case class DecimalLit(d: Double) extends Token with Product with Serializable

  3. case class HexadecimalLit(content: Hexadecimal) extends Token with Product with Serializable

  4. case class Keyword(name: String) extends Token with Product with Serializable

  5. case class NumeralLit(n: BigInt) extends Token with Product with Serializable

  6. trait ReservedWord extends TokenKind

  7. case class StringLit(content: String) extends Token with Product with Serializable

  8. case class SymbolLit(content: String) extends Token with Product with Serializable

  9. sealed class Token extends Positioned

  10. sealed trait TokenKind extends AnyRef

Value Members

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

    Definition Classes
    AnyRef

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

    Definition Classes
    Any

  3. final def ##(): Int

    Definition Classes
    AnyRef → Any

  4. final def ==(arg0: AnyRef): Boolean

    Definition Classes
    AnyRef

  5. final def ==(arg0: Any): Boolean

    Definition Classes
    Any

  6. object As extends ReservedWord with Product with Serializable

  7. object Assert extends ReservedWord with Product with Serializable

  8. object BINARY extends ReservedWord with Product with Serializable

  9. object BinaryLitKind extends TokenKind with Product with Serializable

  10. object CParen extends TokenKind with Product with Serializable

  11. object CheckSat extends ReservedWord with Product with Serializable

  12. object CheckSatAssuming extends ReservedWord with Product with Serializable

  13. object DECIMAL extends ReservedWord with Product with Serializable

  14. object DecimalLitKind extends TokenKind with Product with Serializable

  15. object DeclareConst extends ReservedWord with Product with Serializable

  16. object DeclareDatatypes extends ReservedWord with Product with Serializable

  17. object DeclareFun extends ReservedWord with Product with Serializable

  18. object DeclareSort extends ReservedWord with Product with Serializable

  19. object DefineFun extends ReservedWord with Product with Serializable

  20. object DefineFunRec extends ReservedWord with Product with Serializable

  21. object DefineFunsRec extends ReservedWord with Product with Serializable

  22. object DefineSort extends ReservedWord with Product with Serializable

  23. object Echo extends ReservedWord with Product with Serializable

  24. object ExclamationMark extends ReservedWord with Product with Serializable

  25. object Exists extends ReservedWord with Product with Serializable

  26. object Exit extends ReservedWord with Product with Serializable

  27. object Forall extends ReservedWord with Product with Serializable

  28. object GetAssertions extends ReservedWord with Product with Serializable

  29. object GetAssignment extends ReservedWord with Product with Serializable

  30. object GetInfo extends ReservedWord with Product with Serializable

  31. object GetModel extends ReservedWord with Product with Serializable

  32. object GetOption extends ReservedWord with Product with Serializable

  33. object GetProof extends ReservedWord with Product with Serializable

  34. object GetUnsatAssumptions extends ReservedWord with Product with Serializable

  35. object GetUnsatCore extends ReservedWord with Product with Serializable

  36. object GetValue extends ReservedWord with Product with Serializable

  37. object HEXADECIMAL extends ReservedWord with Product with Serializable

  38. object HexadecimalLitKind extends TokenKind with Product with Serializable

  39. object KeywordKind extends TokenKind with Product with Serializable

  40. object Let extends ReservedWord with Product with Serializable

  41. object NUMERAL extends ReservedWord with Product with Serializable

  42. object NumeralLitKind extends TokenKind with Product with Serializable

  43. object OParen extends TokenKind with Product with Serializable

  44. object Par extends ReservedWord with Product with Serializable

  45. object Pop extends ReservedWord with Product with Serializable

  46. object Push extends ReservedWord with Product with Serializable

  47. object Reset extends ReservedWord with Product with Serializable

  48. object ResetAssertions extends ReservedWord with Product with Serializable

  49. object STRING extends ReservedWord with Product with Serializable

  50. object SetInfo extends ReservedWord with Product with Serializable

  51. object SetLogic extends ReservedWord with Product with Serializable

  52. object SetOption extends ReservedWord with Product with Serializable

  53. object StringLitKind extends TokenKind with Product with Serializable

  54. object SymbolLitKind extends TokenKind with Product with Serializable

  55. object Token

  56. object Underscore extends ReservedWord with Product with Serializable

  57. final def asInstanceOf[T0]: T0

    Definition Classes
    Any

  58. def clone(): AnyRef

    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )

  59. final def eq(arg0: AnyRef): Boolean

    Definition Classes
    AnyRef

  60. def equals(arg0: Any): Boolean

    Definition Classes
    AnyRef → Any

  61. def finalize(): Unit

    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( classOf[java.lang.Throwable] )

  62. final def getClass(): Class[_]

    Definition Classes
    AnyRef → Any

  63. def hashCode(): Int

    Definition Classes
    AnyRef → Any

  64. final def isInstanceOf[T0]: Boolean

    Definition Classes
    Any

  65. final def ne(arg0: AnyRef): Boolean

    Definition Classes
    AnyRef

  66. final def notify(): Unit

    Definition Classes
    AnyRef

  67. final def notifyAll(): Unit

    Definition Classes
    AnyRef

  68. def reservedToSymbol(word: ReservedWord): String

  69. final def synchronized[T0](arg0: ⇒ T0): T0

    Definition Classes
    AnyRef

  70. def toString(): String

    Definition Classes
    AnyRef → Any

  71. final def wait(): Unit

    Definition Classes
    AnyRef
    Annotations
    @throws( ... )

  72. final def wait(arg0: Long, arg1: Int): Unit

    Definition Classes
    AnyRef
    Annotations
    @throws( ... )

  73. final def wait(arg0: Long): Unit

    Definition Classes
    AnyRef
    Annotations
    @throws( ... )

Inherited from AnyRef

Inherited from Any

Ungrouped