Packages

class ACresults extends ACStates

Linear Supertypes
Known Subclasses
Type Hierarchy
Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. ACresults
  2. ACStates
  3. AnyRef
  4. Any
Implicitly
  1. by any2stringadd
  2. by StringFormat
  3. by Ensuring
  4. by ArrowAssoc
  1. Hide All
  2. Show All
Visibility
  1. Public
  2. Protected

Instance Constructors

  1. new ACresults(paths: Map[String, LazyList[(FiniteDistribution[AtomicMove], FiniteDistribution[Moves])]])

Value Members

  1. def blended: (FiniteDistribution[AtomicMove], FiniteDistribution[Moves])
    Definition Classes
    ACStates
  2. def combined: (FiniteDistribution[AtomicMove], FiniteDistribution[Moves])
    Definition Classes
    ACStates
  3. def moveWeights: FiniteDistribution[AtomicMove]
    Definition Classes
    ACStates
  4. def names: List[String]
    Definition Classes
    ACresultsACStates
  5. def probVec(name: String, rank: Int = 2)(p: Presentation): LazyList[Double]
  6. def proofs: FiniteDistribution[Moves]
    Definition Classes
    ACStates
  7. def sizes: Map[String, Int]
  8. lazy val states: Map[String, (FiniteDistribution[AtomicMove], FiniteDistribution[Moves])]
    Definition Classes
    ACresultsACStates
  9. def thmSupp(name: String, rank: Int = 2): Vector[Presentation]
  10. def thmVec(name: String, rank: Int = 2): LazyList[FiniteDistribution[Presentation]]
  11. def thms(rank: Int = 2): FiniteDistribution[Presentation]
    Definition Classes
    ACStates