Packages

case class Inv(k: 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. Inv
  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 Inv(k: 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 Inv 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
    Inv → 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 Inv toMoves performed by method toMoves in provingground.andrewscurtis.Moves.
    Definition Classes
    Moves
  12. val k: Int
  13. def length: Int
    Implicit
    This member is added by an implicit conversion from Inv toMoves performed by method toMoves in provingground.andrewscurtis.Moves.
    Definition Classes
    Moves
  14. val moves: List[AtomicMove]
    Implicit
    This member is added by an implicit conversion from Inv toMoves performed by method toMoves in provingground.andrewscurtis.Moves.
    Definition Classes
    Moves
  15. def movesDF: AdjDiffbleFunction[FiniteDistribution[Moves], FiniteDistribution[Moves]]
    Definition Classes
    AtomicMove
  16. def productElementNames: Iterator[String]
    Definition Classes
    Product
  17. def reduce: (Presentation) => Option[Presentation]
    Implicit
    This member is added by an implicit conversion from Inv toMoves performed by method toMoves in provingground.andrewscurtis.Moves.
    Definition Classes
    Moves
  18. def toFunc: (Presentation) => Option[Presentation]
    Definition Classes
    AtomicMove
  19. def toLatex: String
    Definition Classes
    AtomicMove
  20. def toPlainString: String
    Definition Classes
    AtomicMove
  21. def toString(): String
    Definition Classes
    AtomicMove → Function1 → AnyRef → Any
  22. def unlift: PartialFunction[Moves, Moves]
    Implicit
    This member is added by an implicit conversion from Inv 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 Inv 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:
    (inv: 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 Inv 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:
    (inv: Moves).apply(that)
    Definition Classes
    Moves
  3. def apply(that: Moves): Moves
    Implicit
    This member is added by an implicit conversion from Inv 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:
    (inv: Moves).apply(that)
    Definition Classes
    Moves
  4. def apply(pres: Presentation): Option[Presentation]
    Implicit
    This member is added by an implicit conversion from Inv 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:
    (inv: Moves).apply(pres)
    Definition Classes
    Moves
  5. def compose(that: Moves): Moves
    Implicit
    This member is added by an implicit conversion from Inv 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:
    (inv: Moves).compose(that)
    Definition Classes
    Moves
  6. def productElementNames: Iterator[String]
    Implicit
    This member is added by an implicit conversion from Inv 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:
    (inv: Moves).productElementNames
    Definition Classes
    Product