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

package 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.
ConflictFreeGenerator	The ConflictFreeGenerator is an abstract class responsible for generating conflict-free interpretations in the context of abstract dialectical frameworks (ADFs).
GroundGenerator	GroundGenerator class
ModelGenerator	The ModelGenerator is an abstract class responsible for generating two-valued model interpretations in the context of abstract dialectical frameworks (ADFs).