Packages

case class LftMult(k: Int, l: Int) extends AtomicMove with Product with Serializable

Linear Supertypes
Serializable, Product, Equals, AtomicMove, (Moves) => Option[Moves], AnyRef, Any
Type Hierarchy
Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. LftMult
  2. Serializable
  3. Product
  4. Equals
  5. AtomicMove
  6. Function1
  7. AnyRef
  8. Any
Implicitly
  1. by UnliftOps
  2. by toMoves
  3. by any2stringadd
  4. by StringFormat
  5. by Ensuring
  6. by ArrowAssoc
  1. Hide All
  2. Show All
Visibility
  1. Public
  2. Protected

Instance Constructors

  1. new LftMult(k: Int, l: Int)

Value Members

  1. def actOnMoves(moves: Moves): Option[Moves]
    Definition Classes
    AtomicMove
  2. def actOnPres(fdPres: FiniteDistribution[Presentation]): FiniteDistribution[Presentation]
    Definition Classes
    AtomicMove
  3. def actOnTriv(rank: Int): Option[Presentation]
    Implicit
    This member is added by an implicit conversion from LftMult toMoves performed by method toMoves in provingground.andrewscurtis.Moves.
    Definition Classes
    Moves
  4. def andThen[A](g: (Option[Moves]) => A): (Moves) => A
    Definition Classes
    Function1
    Annotations
    @unspecialized()
  5. def apply(pres: Presentation): Option[Presentation]
    Definition Classes
    LftMult → AtomicMove
  6. def apply(fdVertices: FiniteDistribution[Moves]): FiniteDistribution[Moves]
    Definition Classes
    AtomicMove
  7. def apply(moves: Moves): Option[Moves]
    Definition Classes
    AtomicMove → Function1
  8. def apply(opPres: Option[Presentation]): Option[Presentation]
    Definition Classes
    AtomicMove
  9. def compose(mf: AtomicMove): Moves
    Definition Classes
    AtomicMove
  10. def compose[A](g: (A) => Moves): (A) => Option[Moves]
    Definition Classes
    Function1
    Annotations
    @unspecialized()
  11. def idLast: Moves
    Implicit
    This member is added by an implicit conversion from LftMult toMoves performed by method toMoves in provingground.andrewscurtis.Moves.
    Definition Classes
    Moves
  12. val k: Int
  13. val l: Int
  14. def length: Int
    Implicit
    This member is added by an implicit conversion from LftMult toMoves performed by method toMoves in provingground.andrewscurtis.Moves.
    Definition Classes
    Moves
  15. val moves: List[AtomicMove]
    Implicit
    This member is added by an implicit conversion from LftMult toMoves performed by method toMoves in provingground.andrewscurtis.Moves.
    Definition Classes
    Moves
  16. def movesDF: AdjDiffbleFunction[FiniteDistribution[Moves], FiniteDistribution[Moves]]
    Definition Classes
    AtomicMove
  17. def productElementNames: Iterator[String]
    Definition Classes
    Product
  18. def reduce: (Presentation) => Option[Presentation]
    Implicit
    This member is added by an implicit conversion from LftMult toMoves performed by method toMoves in provingground.andrewscurtis.Moves.
    Definition Classes
    Moves
  19. def toFunc: (Presentation) => Option[Presentation]
    Definition Classes
    AtomicMove
  20. def toLatex: String
    Definition Classes
    AtomicMove
  21. def toPlainString: String
    Definition Classes
    AtomicMove
  22. def toString(): String
    Definition Classes
    AtomicMove → Function1 → AnyRef → Any
  23. def unlift: PartialFunction[Moves, Moves]
    Implicit
    This member is added by an implicit conversion from LftMult toUnliftOps[Moves, Moves] performed by method UnliftOps in scala.Function1.
    Definition Classes
    UnliftOps

Shadowed Implicit Value Members

  1. def apply(that: AtomicMove): Moves
    Implicit
    This member is added by an implicit conversion from LftMult toMoves performed by method toMoves in provingground.andrewscurtis.Moves.
    Shadowing
    This implicitly inherited member is shadowed by one or more members in this class.
    To access this member you can use a type ascription:
    (lftMult: Moves).apply(that)
    Definition Classes
    Moves
  2. def apply(that: (Presentation) => Option[Presentation]): (Presentation) => Option[Presentation]
    Implicit
    This member is added by an implicit conversion from LftMult toMoves performed by method toMoves in provingground.andrewscurtis.Moves.
    Shadowing
    This implicitly inherited member is shadowed by one or more members in this class.
    To access this member you can use a type ascription:
    (lftMult: Moves).apply(that)
    Definition Classes
    Moves
  3. def apply(that: Moves): Moves
    Implicit
    This member is added by an implicit conversion from LftMult toMoves performed by method toMoves in provingground.andrewscurtis.Moves.
    Shadowing
    This implicitly inherited member is shadowed by one or more members in this class.
    To access this member you can use a type ascription:
    (lftMult: Moves).apply(that)
    Definition Classes
    Moves
  4. def apply(pres: Presentation): Option[Presentation]
    Implicit
    This member is added by an implicit conversion from LftMult toMoves performed by method toMoves in provingground.andrewscurtis.Moves.
    Shadowing
    This implicitly inherited member is shadowed by one or more members in this class.
    To access this member you can use a type ascription:
    (lftMult: Moves).apply(pres)
    Definition Classes
    Moves
  5. def compose(that: Moves): Moves
    Implicit
    This member is added by an implicit conversion from LftMult toMoves performed by method toMoves in provingground.andrewscurtis.Moves.
    Shadowing
    This implicitly inherited member is shadowed by one or more members in this class.
    To access this member you can use a type ascription:
    (lftMult: Moves).compose(that)
    Definition Classes
    Moves
  6. def productElementNames: Iterator[String]
    Implicit
    This member is added by an implicit conversion from LftMult toMoves performed by method toMoves in provingground.andrewscurtis.Moves.
    Shadowing
    This implicitly inherited member is shadowed by one or more members in this class.
    To access this member you can use a type ascription:
    (lftMult: Moves).productElementNames
    Definition Classes
    Product