Preparing search index...
The search index is not available
Misti
Misti
internals/solver/solver
Solver
Interface Solver<State>
A generic interface that defines dataflow-equations solvers.
interface
Solver
<
State
>
{
solve
(
)
:
SolverResults
<
State
>
;
}
Type Parameters
State
Implemented by
AbstractWorklistSolver
SouffleSolver
Index
Methods
solve
Methods
solve
solve
(
)
:
SolverResults
<
State
>
Returns
SolverResults
<
State
>
Settings
Member Visibility
Protected
Inherited
External
Theme
OS
Light
Dark
On This Page
Methods
solve
Misti
Loading...
A generic interface that defines dataflow-equations solvers.