Skip to main content

Module realtime

Module realtime 

Source

Structs§

ClosureProblemChange
A problem change implemented as a closure.
ProblemChangeReceiver
Receiver for problem changes, used by the solver.
SolverHandle
Handle for interacting with a running solver.

Enums§

ProblemChangeResult

Traits§

ProblemChange
A change to the problem that can be applied during solving.

Type Aliases§

BoxedProblemChange
A boxed problem change for type-erased storage.