Uses of Interface
pascal.taie.analysis.dataflow.solver.Solver

Packages that use Solver

Package	Description
pascal.taie.analysis.dataflow.solver

Uses of Solver in pascal.taie.analysis.dataflow.solver

Fields in pascal.taie.analysis.dataflow.solver declared as Solver

Modifier and Type	Field	Description
static final Solver	Solver.SOLVER	The default solver.

Methods in pascal.taie.analysis.dataflow.solver that return Solver

Modifier and Type	Method	Description
static <Node, Fact> Solver<Node,Fact>	Solver.getSolver()	Static factory method for obtaining a solver.