Packages

sealed trait AtomicMove extends (Moves) => Option[Moves]

Linear Supertypes
(Moves) => Option[Moves], AnyRef, Any
Known Subclasses
Conj, Id, Inv, LftMult, LftMultInv, RtMult, RtMultInv, Transpose
Type Hierarchy
Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. AtomicMove
  2. Function1
  3. AnyRef
  4. 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

Abstract Value Members

  1. abstract def apply(pres: Presentation): Option[Presentation]

Concrete Value Members

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