Uses of Interface
org.tweetyproject.arg.adf.reasoner.sat.generator.CandidateGenerator
-
Packages that use CandidateGenerator Package Description org.tweetyproject.arg.adf.reasoner.sat org.tweetyproject.arg.adf.reasoner.sat.generator org.tweetyproject.arg.adf.reasoner.sat.verifier -
-
Uses of CandidateGenerator in org.tweetyproject.arg.adf.reasoner.sat
Methods in org.tweetyproject.arg.adf.reasoner.sat with parameters of type CandidateGenerator Modifier and Type Method Description static Pipeline.Builder
Pipeline. builder(CandidateGenerator candidateGenerator, IncrementalSatSolver solver)
-
Uses of CandidateGenerator in org.tweetyproject.arg.adf.reasoner.sat.generator
Classes in org.tweetyproject.arg.adf.reasoner.sat.generator that implement CandidateGenerator Modifier and Type Class Description class
ConflictFreeGenerator
class
GroundGenerator
class
ModelGenerator
-
Uses of CandidateGenerator in org.tweetyproject.arg.adf.reasoner.sat.verifier
Constructors in org.tweetyproject.arg.adf.reasoner.sat.verifier with parameters of type CandidateGenerator Constructor Description GrounderStableVerifier(CandidateGenerator groundGenerator, LinkStrategy linkStrategy)
-