Object

ostrich.automata.AnchoredLabels

AnchoredLabelOps

Related Doc: package AnchoredLabels

Permalink

object AnchoredLabelOps extends TLabelOps[AnchoredLabel]

Linear Supertypes
TLabelOps[AnchoredLabel], AnyRef, Any
Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. AnchoredLabelOps
  2. TLabelOps
  3. AnyRef
  4. Any
  1. Hide All
  2. Show All
Visibility
  1. Public
  2. All

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. final def asInstanceOf[T0]: T0

    Permalink
    Definition Classes
    Any
  5. def clone(): AnyRef

    Permalink
    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  6. def enumLetters(label: AnchoredLabel): Iterator[Int]

    Permalink

    Enumerate all letters accepted by a transition label

    Enumerate all letters accepted by a transition label

    Definition Classes
    AnchoredLabelOpsTLabelOps
  7. final def eq(arg0: AnyRef): Boolean

    Permalink
    Definition Classes
    AnyRef
  8. def equals(arg0: Any): Boolean

    Permalink
    Definition Classes
    AnyRef → Any
  9. def finalize(): Unit

    Permalink
    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( classOf[java.lang.Throwable] )
  10. final def getClass(): Class[_]

    Permalink
    Definition Classes
    AnyRef → Any
  11. def hashCode(): Int

    Permalink
    Definition Classes
    AnyRef → Any
  12. def intersectLabels(l1: AnchoredLabel, l2: AnchoredLabel): Option[AnchoredLabel]

    Permalink

    Intersection of two labels

    Intersection of two labels

    Definition Classes
    AnchoredLabelOpsTLabelOps
  13. def interval(min: Char, max: Char): AnchoredLabel

    Permalink

    Get representation of interval [min,max]

    Get representation of interval [min,max]

    Definition Classes
    AnchoredLabelOpsTLabelOps
  14. final def isInstanceOf[T0]: Boolean

    Permalink
    Definition Classes
    Any
  15. def isNonEmptyLabel(label: AnchoredLabel): Boolean

    Permalink

    Check whether the given label accepts some letter

    Check whether the given label accepts some letter

    Definition Classes
    AnchoredLabelOpsTLabelOps
  16. def labelContains(a: Char, l: AnchoredLabel): Boolean

    Permalink

    Can l represent a?

    Can l represent a?

    Definition Classes
    AnchoredLabelOpsTLabelOps
  17. def labelsOverlap(l1: AnchoredLabel, l2: AnchoredLabel): Boolean

    Permalink

    True if labels overlap

    True if labels overlap

    Definition Classes
    AnchoredLabelOpsTLabelOps
  18. final def ne(arg0: AnyRef): Boolean

    Permalink
    Definition Classes
    AnyRef
  19. final def notify(): Unit

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

    Permalink
    Definition Classes
    AnyRef
  21. def print(lbl: AnchoredLabel): String

    Permalink
  22. def shift(lbl: AnchoredLabel, n: Int): AnchoredLabel

    Permalink

    Shift characters by n, do not wrap.

    Shift characters by n, do not wrap. E.g. [1,2].shift 3 = [4,5]

    Definition Classes
    AnchoredLabelOpsTLabelOps
  23. val sigmaLabel: AnchoredLabel

    Permalink

    Label accepting all letters

    Label accepting all letters

    Definition Classes
    AnchoredLabelOpsTLabelOps
  24. def singleton(c: Char): AnchoredLabel

    Permalink

    Label representing a single char a

    Label representing a single char a

    Definition Classes
    AnchoredLabelOpsTLabelOps
  25. def subtractLetter(a: Char, lbl: AnchoredLabel): Iterable[AnchoredLabel]

    Permalink

    Remove a given character from the label.

    Remove a given character from the label. E.g. [1,10] - 5 is [1,4],[6,10]

    Definition Classes
    AnchoredLabelOpsTLabelOps
  26. def subtractLetters(as: Iterable[Char], lbl: AnchoredLabel): Iterable[AnchoredLabel]

    Permalink

    Remove a given character from the label.

    Remove a given character from the label. E.g. [1,10] - 5 is [1,4],[6,10]

    Definition Classes
    AnchoredLabelOpsTLabelOps
  27. final def synchronized[T0](arg0: ⇒ T0): T0

    Permalink
    Definition Classes
    AnyRef
  28. def toString(): String

    Permalink
    Definition Classes
    AnyRef → Any
  29. val vocabularyWidth: Int

    Permalink

    Nr.

    Nr. of bits of letters in the vocabulary.

    Definition Classes
    AnchoredLabelOpsTLabelOps
  30. final def wait(): Unit

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

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

    Permalink
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  33. def weaken(lbl: AnchoredLabel): Option[(Char, Char)]

    Permalink

Inherited from TLabelOps[AnchoredLabel]

Inherited from AnyRef

Inherited from Any

Ungrouped