Toolkit
trait Toolkit
Provides implementations of multiple APIs. The specific APIs provided by a Toolkit are defined in subclasses, such as PropagationToolkit, BranchingToolkit, RelToolkit, etc.
The unifying feature across all provided APIs is that programs written against those APIs can be represented by a type Toolkit.Prg, which is at least a monad. Such programs can be interpreted (Toolkit.interpret) as state transitions on Toolkit.State.
class Object
trait Matchable
class Any
trait CostToolkit[C]
trait CostRefToolkit[C]
trait PropBranchCostToolkit[C]
class PropBranchCost[C]
trait FreeToolkit
trait FreeRefToolkit
trait FreeBranchingToolkit
object PropBranch.type
trait FreePropagationToolkit
object PropRel.type
trait FreeStashToolkit
trait RefToolkit
trait BranchingToolkit
trait PropBranchToolkit
trait PropagationToolkit
trait PropRelToolkit
trait RelToolkit
trait StashToolkit