Uses of Package
org.tweetyproject.arg.adf.reasoner.sat.generator

Packages that use org.tweetyproject.arg.adf.reasoner.sat.generator

Package	Description
org.tweetyproject.arg.adf.reasoner.sat.execution
org.tweetyproject.arg.adf.reasoner.sat.generator

Classes in org.tweetyproject.arg.adf.reasoner.sat.generator used by org.tweetyproject.arg.adf.reasoner.sat.execution

Class	Description
CandidateGenerator	The CandidateGenerator interface defines a contract for generating interpretations (candidates) using SAT solvers.

Classes in org.tweetyproject.arg.adf.reasoner.sat.generator used by org.tweetyproject.arg.adf.reasoner.sat.generator

Class	Description
AbstractCandidateGenerator	The AbstractCandidateGenerator is an abstract class that provides a base implementation for generating candidate interpretations using a SAT solver state.
CandidateGenerator	The CandidateGenerator interface defines a contract for generating interpretations (candidates) using SAT solvers.