Uses of Class
org.tweetyproject.arg.adf.reasoner.sat.encodings.PropositionalMapping
Package
Description
-
Uses of PropositionalMapping in org.tweetyproject.arg.adf.reasoner.sat.encodings
ModifierConstructorDescriptionBipolarSatEncoding(AbstractDialecticalFramework adf, PropositionalMapping mapping)
ConflictFreeInterpretationSatEncoding(AbstractDialecticalFramework adf, PropositionalMapping mapping)
FixPartialSatEncoding(PropositionalMapping mapping)
KBipolarSatEncoding(AbstractDialecticalFramework adf, PropositionalMapping mapping)
RefineLargerSatEncoding(PropositionalMapping mapping)
RefineUnequalSatEncoding(PropositionalMapping mapping)
RelativeBipolarSatEncoding(Interpretation interpretation, Link link, PropositionalMapping mapping)
-
Uses of PropositionalMapping in org.tweetyproject.arg.adf.reasoner.sat.generator
Modifier and TypeMethodDescriptionstatic CandidateGenerator
ConflictFreeGenerator.withoutPrefix(AbstractDialecticalFramework adf, PropositionalMapping mapping)
The resultingCandidateGenerator
computes all conflict free interpretations.static CandidateGenerator
GroundGenerator.withoutPrefix(AbstractDialecticalFramework adf, PropositionalMapping mapping)
The resultingCandidateGenerator
computes the ground interpretation.static CandidateGenerator
ModelGenerator.withoutPrefix(AbstractDialecticalFramework adf, PropositionalMapping mapping)
The resultingCandidateGenerator
computes all two-valued model interpretations.static CandidateGenerator
ConflictFreeGenerator.withPrefix(AbstractDialecticalFramework adf, PropositionalMapping mapping, Interpretation prefix)
The resultingCandidateGenerator
only computes conflict free interpretations which are extensions of the defined prefix.static CandidateGenerator
GroundGenerator.withPrefix(AbstractDialecticalFramework adf, PropositionalMapping mapping, Interpretation prefix)
The resultingCandidateGenerator
only computes the ground interpretation if it extends the given prefix.static CandidateGenerator
ModelGenerator.withPrefix(AbstractDialecticalFramework adf, PropositionalMapping mapping, Interpretation prefix)
The resultingCandidateGenerator
only computes two-valued models which are extensions of the defined prefix. -
Uses of PropositionalMapping in org.tweetyproject.arg.adf.reasoner.sat.processor
Modifier and TypeMethodDescriptionstatic InterpretationProcessor
AdmissibleMaximizer.withoutPrefix(Supplier<SatSolverState> stateSupplier, AbstractDialecticalFramework adf, PropositionalMapping mapping)
static InterpretationProcessor
ConflictFreeMaximizer.withoutPrefix(Supplier<SatSolverState> stateSupplier, AbstractDialecticalFramework adf, PropositionalMapping mapping)
static InterpretationProcessor
AdmissibleMaximizer.withPrefix(Supplier<SatSolverState> stateSupplier, AbstractDialecticalFramework adf, AbstractDialecticalFramework reduct, PropositionalMapping mapping, Interpretation prefix)
static InterpretationProcessor
ConflictFreeMaximizer.withPrefix(Supplier<SatSolverState> stateSupplier, AbstractDialecticalFramework adf, PropositionalMapping mapping, Interpretation prefix)
ModifierConstructorDescriptionRelativeKBipolarStateProcessor(int maxDepth, LinkStrategy linkStrategy, AbstractDialecticalFramework adf, PropositionalMapping mapping)
-
Uses of PropositionalMapping in org.tweetyproject.arg.adf.reasoner.sat.verifier
ModifierConstructorDescriptionAdmissibleVerifier(Supplier<SatSolverState> stateSupplier, AbstractDialecticalFramework adf, PropositionalMapping mapping)
CompleteVerifier(Supplier<SatSolverState> stateSupplier, AbstractDialecticalFramework adf, PropositionalMapping mapping)
GrounderStableVerifier(Supplier<SatSolverState> stateSupplier, AbstractDialecticalFramework adf, PropositionalMapping mapping)
NaiveVerifier(Supplier<SatSolverState> stateSupplier, AbstractDialecticalFramework adf, PropositionalMapping mapping)
-
Uses of PropositionalMapping in org.tweetyproject.arg.adf.semantics.interpretation
Modifier and TypeMethodDescriptionstatic Interpretation
Interpretation.fromWitness(Set<Literal> witness, PropositionalMapping mapping)
Constructs a three-valued ADF interpretation from a witness of a propositional sat encoding.