Uses of Interface
org.tweetyproject.arg.adf.sat.IncrementalSatSolver

Packages that use IncrementalSatSolver

Package	Description
org.tweetyproject.arg.adf.reasoner
org.tweetyproject.arg.adf.reasoner.sat
org.tweetyproject.arg.adf.reasoner.sat.processor
org.tweetyproject.arg.adf.sat
org.tweetyproject.arg.adf.semantics.link

Uses of IncrementalSatSolver in org.tweetyproject.arg.adf.reasoner

Constructors in org.tweetyproject.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)
StableReasoner(IncrementalSatSolver solver)

Uses of IncrementalSatSolver in org.tweetyproject.arg.adf.reasoner.sat

Methods in org.tweetyproject.arg.adf.reasoner.sat with parameters of type IncrementalSatSolver

Modifier and Type	Method	Description
static Pipeline.Builder	Pipeline.builder(CandidateGenerator candidateGenerator, IncrementalSatSolver solver)

Uses of IncrementalSatSolver in org.tweetyproject.arg.adf.reasoner.sat.processor

Constructors in org.tweetyproject.arg.adf.reasoner.sat.processor with parameters of type IncrementalSatSolver

Constructor	Description
RelativeKBipolarStateProcessor(int maxDepth, IncrementalSatSolver solver)

Uses of IncrementalSatSolver in org.tweetyproject.arg.adf.sat

Classes in org.tweetyproject.arg.adf.sat that implement IncrementalSatSolver

Modifier and Type	Class	Description
class	NativeLingelingSolver	Experimental lingeling binding
class	NativeMinisatSolver
class	NativePicosatSolver

Uses of IncrementalSatSolver in org.tweetyproject.arg.adf.semantics.link

Constructors in org.tweetyproject.arg.adf.semantics.link with parameters of type IncrementalSatSolver

Constructor	Description
SatLinkStrategy(IncrementalSatSolver solver)
SatLinkStrategy(IncrementalSatSolver solver, Interpretation assumption)	Computes the link type based on the two-valued assignments of the given assumption.