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 DOT: ConversionVal

    Permalink

  15. val EVENTS: ConversionVal

    Permalink

  16. val FORMULA: ConversionVal

    Permalink

  17. val FUTURE: ConversionVal

    Permalink

  18. val LTL: ConversionVal

    Permalink

  19. val MEALY: ConversionVal

    Permalink

  20. val MIN: ConversionVal

    Permalink

  21. val MOORE: ConversionVal

    Permalink

  22. val NBA: ConversionVal

    Permalink

  23. val NBAS: ConversionVal

    Permalink

  24. val NEGAPA: ConversionVal

    Permalink

  25. val NEGDFA: ConversionVal

    Permalink

  26. val NEGNBA: ConversionVal

    Permalink

  27. val NEGNFA: ConversionVal

    Permalink

  28. val NFA: ConversionVal

    Permalink

  29. val NFAS: ConversionVal

    Permalink

  30. val PDF: ConversionVal

    Permalink

  31. val PNG: ConversionVal

    Permalink

  32. val POSITIVE: ConversionVal

    Permalink

  33. val PROFILE: ConversionVal

    Permalink

  34. val PROPS: ConversionVal

    Permalink

  35. val REDUCE: ConversionVal

    Permalink

  36. val RLTL: ConversionVal

    Permalink

  37. val SALT: ConversionVal

    Permalink

  38. val SLIM: ConversionVal

    Permalink

  39. val SMV: ConversionVal

    Permalink

  40. val SPIN: ConversionVal

    Permalink

  41. val SVG: ConversionVal

    Permalink

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

    Permalink
    Attributes
    protected
    Definition Classes
    Enumeration

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

    Permalink
    Attributes
    protected
    Definition Classes
    Enumeration

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

    Permalink
    Attributes
    protected
    Definition Classes
    Enumeration

  45. final def Value: Value

    Permalink
    Attributes
    protected
    Definition Classes
    Enumeration

  46. object ValueSet extends Serializable

    Permalink
    Definition Classes
    Enumeration

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

    Permalink
    Definition Classes
    Enumeration

  48. final def asInstanceOf[T0]: T0

    Permalink
    Definition Classes
    Any

  49. def clone(): AnyRef

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

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

    Permalink

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

    Permalink
    Definition Classes
    AnyRef

  52. def equals(arg0: Any): Boolean

    Permalink
    Definition Classes
    AnyRef → Any

  53. def finalize(): Unit

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

  54. def fromCommand(command: String): ConversionVal

    Permalink

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

    Permalink
    Definition Classes
    AnyRef → Any

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

    Permalink

  57. def getUsage: String

    Permalink

  58. def hashCode(): Int

    Permalink
    Definition Classes
    AnyRef → Any

  59. def isCommand(command: String): Boolean

    Permalink

  60. final def isInstanceOf[T0]: Boolean

    Permalink
    Definition Classes
    Any

  61. final def maxId: Int

    Permalink
    Definition Classes
    Enumeration

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

    Permalink
    Definition Classes
    AnyRef

  63. var nextId: Int

    Permalink
    Attributes
    protected
    Definition Classes
    Enumeration

  64. var nextName: Iterator[String]

    Permalink
    Attributes
    protected
    Definition Classes
    Enumeration

  65. final def notify(): Unit

    Permalink
    Definition Classes
    AnyRef

  66. final def notifyAll(): Unit

    Permalink
    Definition Classes
    AnyRef

  67. def readResolve(): AnyRef

    Permalink
    Attributes
    protected
    Definition Classes
    Enumeration

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

    Permalink
    Definition Classes
    AnyRef

  69. def toString(): String

    Permalink
    Definition Classes
    Enumeration → AnyRef → Any

  70. def values: ValueSet

    Permalink
    Definition Classes
    Enumeration

  71. final def wait(): Unit

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

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

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

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

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

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