Uses of Interface
net.sf.tweety.arg.adf.reasoner.generator.CandidateGenerator
-
Packages that use CandidateGenerator Package Description net.sf.tweety.arg.adf.reasoner net.sf.tweety.arg.adf.reasoner.generator net.sf.tweety.arg.adf.reasoner.verifier -
-
Uses of CandidateGenerator in net.sf.tweety.arg.adf.reasoner
Fields in net.sf.tweety.arg.adf.reasoner declared as CandidateGenerator Modifier and Type Field Description private CandidateGenerator<S>
Pipeline.Builder. candidateGenerator
private CandidateGenerator<S>
Pipeline. candidateGenerator
Methods in net.sf.tweety.arg.adf.reasoner with parameters of type CandidateGenerator Modifier and Type Method Description static <S> Pipeline.Builder<S>
Pipeline. builder(CandidateGenerator<S> candidateGenerator)
Constructors in net.sf.tweety.arg.adf.reasoner with parameters of type CandidateGenerator Constructor Description Builder(CandidateGenerator<S> candidateGenerator)
-
Uses of CandidateGenerator in net.sf.tweety.arg.adf.reasoner.generator
Classes in net.sf.tweety.arg.adf.reasoner.generator that implement CandidateGenerator Modifier and Type Class Description class
SatConflictFreeGenerator
class
SatGroundGenerator
class
SatModelGenerator
-
Uses of CandidateGenerator in net.sf.tweety.arg.adf.reasoner.verifier
Fields in net.sf.tweety.arg.adf.reasoner.verifier declared as CandidateGenerator Modifier and Type Field Description private CandidateGenerator<S>
GrounderStableVerifier. groundGenerator
Constructors in net.sf.tweety.arg.adf.reasoner.verifier with parameters of type CandidateGenerator Constructor Description GrounderStableVerifier(CandidateGenerator<S> groundGenerator)
Expects a candidate generator for ground semantics
-