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