Uses of Class
net.automatalib.modelchecker.m3c.solver.SolverData

Packages that use SolverData

Package	Description
net.automatalib.modelchecker.m3c.solver

Uses of SolverData in net.automatalib.modelchecker.m3c.solver

Methods in net.automatalib.modelchecker.m3c.solver that return types with arguments of type SolverData

Modifier and Type	Method	Description
Map<L,SolverData<?,T,L,AP>>	SolverHistory.getData()	Returns a Map containing information per procedure name.