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)
-