Uses of Class
net.sf.tweety.arg.adf.sat.IncrementalSatSolver
-
-
Uses of IncrementalSatSolver in net.sf.tweety.arg.adf.cli
Fields in net.sf.tweety.arg.adf.cli declared as IncrementalSatSolver Modifier and Type Field Description private static IncrementalSatSolver
CommandLineInterface. satSolver
-
Uses of IncrementalSatSolver in net.sf.tweety.arg.adf.reasoner
Fields in net.sf.tweety.arg.adf.reasoner declared as IncrementalSatSolver Modifier and Type Field Description private IncrementalSatSolver
SatReasonerContext. solver
Methods in net.sf.tweety.arg.adf.reasoner that return IncrementalSatSolver Modifier and Type Method Description IncrementalSatSolver
SatReasonerContext. getSolver()
Methods in net.sf.tweety.arg.adf.reasoner with parameters of type IncrementalSatSolver Modifier and Type Method Description private static Pipeline<SatReasonerContext>
AdmissibleReasoner. satBased(IncrementalSatSolver solver)
private static Pipeline<SatReasonerContext>
CompleteReasoner. satBased(IncrementalSatSolver solver)
private static Pipeline<SatReasonerContext>
ConflictFreeReasoner. satBased(IncrementalSatSolver solver)
private static Pipeline<SatReasonerContext>
GroundReasoner. satBased(IncrementalSatSolver solver)
private static Pipeline<SatReasonerContext>
ModelReasoner. satBased(IncrementalSatSolver solver)
private static Pipeline<SatReasonerContext>
NaiveReasoner. satBased(IncrementalSatSolver solver)
private static Pipeline<SatReasonerContext>
PreferredReasoner. satBased(IncrementalSatSolver solver)
private static Pipeline<SatReasonerContext>
StableReasoner. satBased(IncrementalSatSolver solver)
Constructors in net.sf.tweety.arg.adf.reasoner with parameters of type IncrementalSatSolver Constructor Description AdmissibleReasoner(IncrementalSatSolver solver)
CompleteReasoner(IncrementalSatSolver solver)
ConflictFreeReasoner(IncrementalSatSolver solver)
GroundReasoner(IncrementalSatSolver solver)
ModelReasoner(IncrementalSatSolver solver)
NaiveReasoner(IncrementalSatSolver solver)
PreferredReasoner(IncrementalSatSolver solver)
SatReasonerContext(SatEncodingContext encodingContext, IncrementalSatSolver solver, SatSolverState solverState)
StableReasoner(IncrementalSatSolver solver)
-
Uses of IncrementalSatSolver in net.sf.tweety.arg.adf.reasoner.generator
Fields in net.sf.tweety.arg.adf.reasoner.generator declared as IncrementalSatSolver Modifier and Type Field Description private IncrementalSatSolver
SatConflictFreeGenerator. solver
private IncrementalSatSolver
SatGroundGenerator. solver
private IncrementalSatSolver
SatModelGenerator. solver
Constructors in net.sf.tweety.arg.adf.reasoner.generator with parameters of type IncrementalSatSolver Constructor Description SatConflictFreeGenerator(IncrementalSatSolver solver)
SatGroundGenerator(IncrementalSatSolver solver)
SatModelGenerator(IncrementalSatSolver solver)
-
Uses of IncrementalSatSolver in net.sf.tweety.arg.adf.reasoner.test
Fields in net.sf.tweety.arg.adf.reasoner.test declared as IncrementalSatSolver Modifier and Type Field Description private static IncrementalSatSolver
ReasonerBenchmark. satSolver
-
Uses of IncrementalSatSolver in net.sf.tweety.arg.adf.sat
Subclasses of IncrementalSatSolver in net.sf.tweety.arg.adf.sat Modifier and Type Class Description class
NativeLingelingSolver
Experimental lingeling bindingclass
SimpleIncrementalSatSolver
A simple wrapper which can be used where instances ofIncrementalSatSolver
are needed.
-