Object

de.uni_luebeck.isp.rltlconv.cli

Conversion

Related Doc: package cli

Permalink

object Conversion extends Enumeration

Linear Supertypes
Enumeration, Serializable, Serializable, AnyRef, Any
Ordering
  1. Alphabetic
  2. By inheritance
Inherited
  1. Conversion
  2. Enumeration
  3. Serializable
  4. Serializable
  5. AnyRef
  6. Any
  1. Hide All
  2. Show all
Visibility
  1. Public
  2. All

Type Members

  1. sealed class ConversionVal extends Val

    Permalink

  2. class Val extends Value with Serializable

    Permalink
    Attributes
    protected
    Definition Classes
    Enumeration
    Annotations
    @SerialVersionUID()

  3. abstract class Value extends Ordered[Value] with Serializable

    Permalink
    Definition Classes
    Enumeration
    Annotations
    @SerialVersionUID()

  4. class ValueSet extends AbstractSet[Value] with SortedSet[Value] with SortedSetLike[Value, ValueSet] with Serializable

    Permalink
    Definition Classes
    Enumeration

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. val AMEALY: ConversionVal

    Permalink

  5. val APA: ConversionVal

    Permalink

  6. val APAS: ConversionVal

    Permalink

  7. val AUTOMATON: ConversionVal

    Permalink

  8. val CCode: ConversionVal

    Permalink

  9. val COMPABA: ConversionVal

    Permalink

  10. val COMPLETE: ConversionVal

    Permalink

  11. object ConversionVal extends Serializable

    Permalink

  12. val DFA: ConversionVal

    Permalink

  13. val DFAS: ConversionVal

    Permalink

  14. val DNF: ConversionVal

    Permalink

  15. val DOT: ConversionVal

    Permalink

  16. val EVENTS: ConversionVal

    Permalink

  17. val FORMULA: ConversionVal

    Permalink

  18. val FUTURE: ConversionVal

    Permalink

  19. val LTL: ConversionVal

    Permalink

  20. val MEALY: ConversionVal

    Permalink

  21. val MIN: ConversionVal

    Permalink

  22. val MOORE: ConversionVal

    Permalink

  23. val NBA: ConversionVal

    Permalink

  24. val NBAS: ConversionVal

    Permalink

  25. val NEGAPA: ConversionVal

    Permalink

  26. val NEGDFA: ConversionVal

    Permalink

  27. val NEGNBA: ConversionVal

    Permalink

  28. val NEGNFA: ConversionVal

    Permalink

  29. val NFA: ConversionVal

    Permalink

  30. val NFAS: ConversionVal

    Permalink

  31. val PDF: ConversionVal

    Permalink

  32. val PNG: ConversionVal

    Permalink

  33. val POSITIVE: ConversionVal

    Permalink

  34. val PROFILE: ConversionVal

    Permalink

  35. val PROPS: ConversionVal

    Permalink

  36. val QMC: ConversionVal

    Permalink

  37. val REDUCE: ConversionVal

    Permalink

  38. val RLTL: ConversionVal

    Permalink

  39. val RubyRvEventCode: ConversionVal

    Permalink

  40. val RubyStatesmanCode: ConversionVal

    Permalink

  41. val SALT: ConversionVal

    Permalink

  42. val SLIM: ConversionVal

    Permalink

  43. val SMV: ConversionVal

    Permalink

  44. val SPIN: ConversionVal

    Permalink

  45. val SVG: ConversionVal

    Permalink

  46. final def Value(i: Int, name: String): Value

    Permalink
    Attributes
    protected
    Definition Classes
    Enumeration

  47. final def Value(name: String): Value

    Permalink
    Attributes
    protected
    Definition Classes
    Enumeration

  48. final def Value(i: Int): Value

    Permalink
    Attributes
    protected
    Definition Classes
    Enumeration

  49. final def Value: Value

    Permalink
    Attributes
    protected
    Definition Classes
    Enumeration

  50. object ValueSet extends Serializable

    Permalink
    Definition Classes
    Enumeration

  51. final def apply(x: Int): Value

    Permalink
    Definition Classes
    Enumeration

  52. final def asInstanceOf[T0]: T0

    Permalink
    Definition Classes
    Any

  53. def clone(): AnyRef

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

  54. implicit def convert(value: Value): ConversionVal

    Permalink

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

    Permalink
    Definition Classes
    AnyRef

  56. def equals(arg0: Any): Boolean

    Permalink
    Definition Classes
    AnyRef → Any

  57. def finalize(): Unit

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

  58. def fromCommand(command: String): ConversionVal

    Permalink

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

    Permalink
    Definition Classes
    AnyRef → Any

  60. def getUsage(indent: Int, width: Int): String

    Permalink

  61. def getUsage: String

    Permalink

  62. def hashCode(): Int

    Permalink
    Definition Classes
    AnyRef → Any

  63. def isCommand(command: String): Boolean

    Permalink

  64. final def isInstanceOf[T0]: Boolean

    Permalink
    Definition Classes
    Any

  65. final def maxId: Int

    Permalink
    Definition Classes
    Enumeration

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

    Permalink
    Definition Classes
    AnyRef

  67. var nextId: Int

    Permalink
    Attributes
    protected
    Definition Classes
    Enumeration

  68. var nextName: Iterator[String]

    Permalink
    Attributes
    protected
    Definition Classes
    Enumeration

  69. final def notify(): Unit

    Permalink
    Definition Classes
    AnyRef

  70. final def notifyAll(): Unit

    Permalink
    Definition Classes
    AnyRef

  71. def readResolve(): AnyRef

    Permalink
    Attributes
    protected
    Definition Classes
    Enumeration

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

    Permalink
    Definition Classes
    AnyRef

  73. def toString(): String

    Permalink
    Definition Classes
    Enumeration → AnyRef → Any

  74. def values: ValueSet

    Permalink
    Definition Classes
    Enumeration

  75. final def wait(): Unit

    Permalink
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )

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

    Permalink
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )

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

    Permalink
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )

  78. final def withName(s: String): Value

    Permalink
    Definition Classes
    Enumeration

Inherited from Enumeration

Inherited from Serializable

Inherited from Serializable

Inherited from AnyRef

Inherited from Any

Ungrouped