Class ConflictFreeGenerator
java.lang.Object
org.tweetyproject.arg.adf.reasoner.sat.generator.AbstractCandidateGenerator
org.tweetyproject.arg.adf.reasoner.sat.generator.ConflictFreeGenerator
- All Implemented Interfaces:
AutoCloseable
,CandidateGenerator
- Author:
- Mathias Hofer
-
Method Summary
Modifier and TypeMethodDescriptiongenerate
(SatSolverState state) static CandidateGenerator
restricted
(AbstractDialecticalFramework adf, PropositionalMapping mapping, Interpretation partial, Supplier<SatSolverState> stateSupplier) The resultingCandidateGenerator
only computes conflict free interpretations which are extensions of the defined partial interpretation.static CandidateGenerator
unrestricted
(AbstractDialecticalFramework adf, PropositionalMapping mapping, Supplier<SatSolverState> stateSupplier) The resultingCandidateGenerator
computes all conflict free interpretations.Methods inherited from class org.tweetyproject.arg.adf.reasoner.sat.generator.AbstractCandidateGenerator
close, generate, update
-
Method Details
-
restricted
public static CandidateGenerator restricted(AbstractDialecticalFramework adf, PropositionalMapping mapping, Interpretation partial, Supplier<SatSolverState> stateSupplier) The resultingCandidateGenerator
only computes conflict free interpretations which are extensions of the defined partial interpretation.- Parameters:
adf
- adfmapping
- mappingpartial
- partialmapping
- PropositionalstateSupplier
- Supplier- Returns:
- a candidate generator that only computes interpretations that extend the given partial interpretation.
-
unrestricted
public static CandidateGenerator unrestricted(AbstractDialecticalFramework adf, PropositionalMapping mapping, Supplier<SatSolverState> stateSupplier) The resultingCandidateGenerator
computes all conflict free interpretations.- Parameters:
adf
- adfmapping
- mappingstateSupplier
- Supplier- Returns:
- CandidateGeneratorwithoutPrefix
-
generate
-