c

nutcracker.toolkit

PropBranchCost

final class PropBranchCost[C] extends PropBranchCostToolkit[C] with FreePropagationToolkit with FreeBranchingToolkit

Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. PropBranchCost
  2. FreeBranchingToolkit
  3. FreeStashToolkit
  4. FreePropagationToolkit
  5. FreeRefToolkit
  6. FreeToolkit
  7. PropBranchCostToolkit
  8. CostRefToolkit
  9. CostToolkit
  10. PropBranchToolkit
  11. BranchingToolkit
  12. StashToolkit
  13. PropagationToolkit
  14. RefToolkit
  15. Toolkit
  16. AnyRef
  17. Any
  1. Hide All
  2. Show All
Visibility
  1. Public
  2. Protected

Instance Constructors

  1. new PropBranchCost()(implicit C: NonDecreasingMonoid[C])

Type Members

  1. type Lang[K[_], A] = Coproduct[[β$0$]Coproduct[[β$0$]PersistentPropagationModule.Lang[K, β$0$], [β$1$](Branch)#Lang[K, β$1$], β$0$], [β$1$](Cost)#Lang[K, β$1$], A]
    Definition Classes
    PropBranchCostFreeToolkit
  2. type Prg[A] = FreeK[Lang, A]
    Definition Classes
    FreeToolkitToolkit
  3. type State = StateK[Prg]
    Definition Classes
    FreeToolkitToolkit
  4. type StateK[K[_]] = Pair[[A[_]]Pair[[A[_]](Prop)#StateK[A], (Branch)#StateK, A], (Cost)#StateK, K]
    Definition Classes
    PropBranchCostFreeToolkit
  5. type Val[A] = ValK[Prg, A]
    Definition Classes
    FreeRefToolkitRefToolkit
  6. type ValK[K[_], A] = PersistentPropagationModule.ValK[K, A]
    Definition Classes
    PropBranchCostFreeRefToolkit
  7. type Var[A] = VarK[Prg, A]
    Definition Classes
    FreeRefToolkitRefToolkit
  8. type VarK[K[_], A] = PersistentPropagationModule.VarK[K, A]
    Definition Classes
    PropBranchCostFreeRefToolkit

Value Members

  1. final def !=(arg0: Any): Boolean
    Definition Classes
    AnyRef → Any
  2. final def ##: Int
    Definition Classes
    AnyRef → Any
  3. final def ==(arg0: Any): Boolean
    Definition Classes
    AnyRef → Any
  4. val Branch: Aux0[(Prop)#VarK, (Prop)#ValK] with StashModule
  5. val Cost: CostModule[C] with StashModule
  6. val Prop: AuxL[PersistentPropagationModule.VarK, PersistentPropagationModule.ValK, PersistentPropagationModule.Lang]
  7. final def asInstanceOf[T0]: T0
    Definition Classes
    Any
  8. def assess(s: State): Assessment[List[Prg[Unit]]]
    Definition Classes
    PropBranchCostCostToolkitBranchingToolkit
  9. implicit val branchingApi: BranchingPropagation[Prg, Var, Val]
    Definition Classes
    PropBranchCostBranchingToolkit
  10. def clone(): AnyRef
    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @throws(classOf[java.lang.CloneNotSupportedException]) @native() @IntrinsicCandidate()
  11. implicit val costApi: Aux[Prg, C]
    Definition Classes
    PropBranchCostCostToolkit
  12. def costMonoid: NonDecreasingMonoid[C]
    Definition Classes
    PropBranchCostCostToolkit
  13. def empty: State
    Definition Classes
    FreeToolkitToolkit
  14. def emptyK[K[_]]: StateK[K]
    Definition Classes
    PropBranchCostFreeToolkit
  15. final def eq(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef
  16. def equals(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef → Any
  17. def fetch[A](ref: Var[A], s: State): A
    Definition Classes
    FreeRefToolkitRefToolkit
  18. def fetch[A](ref: Val[A], s: State): Option[A]
    Definition Classes
    FreeRefToolkitRefToolkit
  19. def fetchK[K[_], A](ref: VarK[K, A], s: StateK[K]): A
    Definition Classes
    PropBranchCostFreeRefToolkit
  20. def fetchK[K[_], A](ref: ValK[K, A], s: StateK[K]): Option[A]
    Definition Classes
    PropBranchCostFreeRefToolkit
  21. def fetchResult[A](ref: Val[A], s: State)(implicit fin: Final[A]): Option[Out]
    Definition Classes
    RefToolkit
  22. final def getClass(): Class[_ <: AnyRef]
    Definition Classes
    AnyRef → Any
    Annotations
    @native() @IntrinsicCandidate()
  23. def getCost(s: State): C
    Definition Classes
    PropBranchCostCostToolkit
  24. def hashCode(): Int
    Definition Classes
    AnyRef → Any
    Annotations
    @native() @IntrinsicCandidate()
  25. def interpret[A](p: Prg[A], s: State): (State, A)
    Definition Classes
    FreeToolkitToolkit
  26. def interpret0[A](p: Prg[A]): (State, A)
    Definition Classes
    Toolkit
  27. def interpretAll[F[_]](ps: F[Prg[Unit]], s: State)(implicit F: Foldable[F]): State
    Definition Classes
    Toolkit
  28. lazy val interpreter: ~>[Prg, [γ$1$]IndexedStateT[StateK[[A]FreeK[Lang, A]], StateK[[A]FreeK[Lang, A]], Id, γ$1$]]
    Definition Classes
    FreeToolkit
  29. final def isInstanceOf[T0]: Boolean
    Definition Classes
    Any
  30. val lang: Builder { type Out[K[_], A] = scalaz.Coproduct[[β$0$]scalaz.Coproduct[[β$0$]nutcracker.toolkit.PersistentPropagationModule.instance.Lang[K,β$0$],[β$1$]PropBranchCost.this.Branch.Lang[K,β$1$],β$0$],[β$1$]PropBranchCost.this.Cost.Lang[K,β$1$],A] }
  31. final def ne(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef
  32. final def notify(): Unit
    Definition Classes
    AnyRef
    Annotations
    @native() @IntrinsicCandidate()
  33. final def notifyAll(): Unit
    Definition Classes
    AnyRef
    Annotations
    @native() @IntrinsicCandidate()
  34. def prgMonad: Monad[Prg]
    Definition Classes
    PropBranchCostToolkit
  35. implicit val propagationApi: Propagation[Prg, Var, Val]
    Definition Classes
    PropBranchCostPropagationToolkit
  36. implicit def readOnly[A](ref: Var[A]): Val[A]
    Definition Classes
    FreeRefToolkitRefToolkit
  37. def readOnlyK[K[_], A](ref: VarK[K, A]): ValK[K, A]
    Definition Classes
    PropBranchCostFreeRefToolkit
  38. def solveBfs[D](p: Prg[Val[D]])(implicit fin: Final[D]): StreamT[scalaz.Id.Id, (Out, C)]
    Definition Classes
    CostRefToolkit
  39. def solveBfs[A, B](p: Prg[A], f: (A, State) => Option[B]): StreamT[scalaz.Id.Id, (B, C)]
    Definition Classes
    CostToolkit
  40. def solveBfsM[M[_], A, B](p: Prg[A], f: (A, State) => Option[B])(implicit M: Monad[M]): StreamT[M, (B, C)]
    Definition Classes
    CostToolkit
  41. def solveDfs[D](p: Prg[Val[D]])(implicit fin: Final[D]): StreamT[scalaz.Id.Id, Out]
    Definition Classes
    BranchingToolkit
  42. def solveDfs[A, B](p: Prg[A], f: (A, State) => Option[B]): StreamT[Id, B]
    Definition Classes
    BranchingToolkit
  43. def solveDfs1[D](p: Prg[Val[D]])(implicit fin: Final[D]): StreamT[[γ$0$]WriterT[Int, Id, γ$0$], Out]

    Like solveDfs[D]*, but also outputs the number of times it had to backtrack.

    Like solveDfs[D]*, but also outputs the number of times it had to backtrack.

    Definition Classes
    BranchingToolkit
  44. def solveDfsAll[D](p: Prg[Val[D]])(implicit fin: Final[D]): List[Out]
    Definition Classes
    BranchingToolkit
  45. def solveDfsAll1[D](p: Prg[Val[D]])(implicit fin: Final[D]): (List[Out], Int)

    Like solveDfsAll, but also returns the number of dead branches explored.

    Like solveDfsAll, but also returns the number of dead branches explored.

    Definition Classes
    BranchingToolkit
  46. def stashRestore: StashRestore[State]
    Definition Classes
    FreeStashToolkitStashToolkit
  47. def stashRestoreK[K[_]]: StashRestore[StateK[K]]
    Definition Classes
    PropBranchCostFreeStashToolkit
  48. val stateK: Builder { type Out[A[_]] = nutcracker.util.APairK.Pair[[A[_]]nutcracker.util.APairK.Pair[[A[_]]PropBranchCost.this.Prop.StateK[A],PropBranchCost.this.Branch.StateK,A],PropBranchCost.this.Cost.StateK,A] }
  49. val stepInterpreter: StateInterpreter[Prg, [γ$2$]Coproduct[[γ$2$]Coproduct[[β$13$](Prop)#Lang[Prg, β$13$], [β$14$](Branch)#Lang[Prg, β$14$], γ$2$], [β$5$](Cost)#Lang[Prg, β$5$], γ$2$], State]
    Definition Classes
    PropBranchCostFreeToolkit
  50. final def synchronized[T0](arg0: => T0): T0
    Definition Classes
    AnyRef
  51. def toString(): String
    Definition Classes
    AnyRef → Any
  52. implicit def valOrder: HOrderK[Val]
    Definition Classes
    FreeRefToolkitRefToolkit
  53. implicit def valOrderK[K[_]]: HOrderK[[β$2$]PersistentPropagationModule.ValK[[_]K[_], β$2$]]
    Definition Classes
    PropBranchCostFreeRefToolkit
  54. implicit def valShow: ShowK[Val]
    Definition Classes
    FreeRefToolkitRefToolkit
  55. implicit def valShowK[K[_]]: ShowK[[β$3$]PersistentPropagationModule.ValK[[_]K[_], β$3$]]
    Definition Classes
    PropBranchCostFreeRefToolkit
  56. implicit def varOrder: HOrderK[Var]
    Definition Classes
    FreeRefToolkitRefToolkit
  57. implicit def varOrderK[K[_]]: HOrderK[[β$0$]PersistentPropagationModule.VarK[[_]K[_], β$0$]]
    Definition Classes
    PropBranchCostFreeRefToolkit
  58. implicit def varShow: ShowK[Var]
    Definition Classes
    FreeRefToolkitRefToolkit
  59. implicit def varShowK[K[_]]: ShowK[[β$1$]PersistentPropagationModule.VarK[[_]K[_], β$1$]]
    Definition Classes
    PropBranchCostFreeRefToolkit
  60. final def wait(arg0: Long, arg1: Int): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws(classOf[java.lang.InterruptedException])
  61. final def wait(arg0: Long): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws(classOf[java.lang.InterruptedException]) @native()
  62. final def wait(): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws(classOf[java.lang.InterruptedException])

Deprecated Value Members

  1. def finalize(): Unit
    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @throws(classOf[java.lang.Throwable]) @Deprecated
    Deprecated

Inherited from FreeBranchingToolkit

Inherited from FreeStashToolkit

Inherited from FreePropagationToolkit

Inherited from FreeRefToolkit

Inherited from FreeToolkit

Inherited from PropBranchCostToolkit[C]

Inherited from CostRefToolkit[C]

Inherited from CostToolkit[C]

Inherited from PropBranchToolkit

Inherited from BranchingToolkit

Inherited from StashToolkit

Inherited from PropagationToolkit

Inherited from RefToolkit

Inherited from Toolkit

Inherited from AnyRef

Inherited from Any

Ungrouped