Uses of Interface
net.sf.tweety.arg.adf.reasoner.sat.generator.CandidateGenerator

Packages that use CandidateGenerator

Package	Description
net.sf.tweety.arg.adf.reasoner.sat
net.sf.tweety.arg.adf.reasoner.sat.generator
net.sf.tweety.arg.adf.reasoner.sat.verifier

Uses of CandidateGenerator in net.sf.tweety.arg.adf.reasoner.sat

Methods in net.sf.tweety.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 net.sf.tweety.arg.adf.reasoner.sat.generator

Classes in net.sf.tweety.arg.adf.reasoner.sat.generator that implement CandidateGenerator

Modifier and Type	Class	Description
class	ConflictFreeGenerator
class	GroundGenerator
class	ModelGenerator

Uses of CandidateGenerator in net.sf.tweety.arg.adf.reasoner.sat.verifier

Constructors in net.sf.tweety.arg.adf.reasoner.sat.verifier with parameters of type CandidateGenerator

Constructor	Description
GrounderStableVerifier(CandidateGenerator groundGenerator, LinkStrategy linkStrategy)