Uses of Interface
org.tweetyproject.arg.adf.sat.IncrementalSatSolver
-
-
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 bindingclass
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.
-