Uses of Class
net.sf.tweety.arg.adf.sat.NativeLingelingSolver

Packages that use NativeLingelingSolver

Package	Description
net.sf.tweety.arg.adf.sat

Uses of NativeLingelingSolver in net.sf.tweety.arg.adf.sat

Fields in net.sf.tweety.arg.adf.sat declared as NativeLingelingSolver

Modifier and Type	Field	Description
private NativeLingelingSolver	NativeLingelingSolver.LingelingSolverState.solver

Constructors in net.sf.tweety.arg.adf.sat with parameters of type NativeLingelingSolver

Constructor	Description
LingelingSolverState(NativeLingelingSolver solver)