Uses of Class
org.tweetyproject.arg.adf.reasoner.sat.encodings.PropositionalMapping
-
-
-
Uses of PropositionalMapping in org.tweetyproject.arg.adf.reasoner.sat.encodings
Methods in org.tweetyproject.arg.adf.reasoner.sat.encodings with parameters of type PropositionalMapping Modifier and Type Method Description void
BipolarSatEncoding. encode(java.util.function.Consumer<Clause> consumer, PropositionalMapping mapping, AbstractDialecticalFramework adf)
void
ConflictFreeInterpretationSatEncoding. encode(java.util.function.Consumer<Clause> consumer, PropositionalMapping context, AbstractDialecticalFramework adf)
void
FixPartialSatEncoding. encode(java.util.function.Consumer<Clause> consumer, PropositionalMapping context, AbstractDialecticalFramework adf)
void
KBipolarSatEncoding. encode(java.util.function.Consumer<Clause> consumer, PropositionalMapping mapping, AbstractDialecticalFramework adf)
void
LargerInterpretationSatEncoding. encode(java.util.function.Consumer<Clause> consumer, PropositionalMapping context, AbstractDialecticalFramework adf)
void
RefineLargerSatEncoding. encode(java.util.function.Consumer<Clause> consumer, PropositionalMapping context, AbstractDialecticalFramework adf)
void
RefineUnequalSatEncoding. encode(java.util.function.Consumer<Clause> consumer, PropositionalMapping context, AbstractDialecticalFramework adf)
void
RelativeBipolarSatEncoding. encode(java.util.function.Consumer<Clause> consumer, PropositionalMapping mapping, AbstractDialecticalFramework adf)
void
RelativeKBipolarSatEncoding. encode(java.util.function.Consumer<Clause> consumer, PropositionalMapping mapping, AbstractDialecticalFramework adf)
Deprecated.default void
SatEncoding. encode(java.util.Collection<Clause> collection, PropositionalMapping mapping, AbstractDialecticalFramework adf)
void
SatEncoding. encode(java.util.function.Consumer<Clause> consumer, PropositionalMapping mapping, AbstractDialecticalFramework adf)
default java.util.Collection<Clause>
SatEncoding. encode(PropositionalMapping mapping, AbstractDialecticalFramework adf)
void
TwoValuedModelSatEncoding. encode(java.util.function.Consumer<Clause> consumer, PropositionalMapping mapping, AbstractDialecticalFramework adf)
void
VerifyAdmissibleSatEncoding. encode(java.util.function.Consumer<Clause> consumer, PropositionalMapping context, AbstractDialecticalFramework adf)
void
VerifyAdmissibleSatEncoding. encode(java.util.function.Consumer<Clause> consumer, PropositionalMapping context, AbstractDialecticalFramework adf, Atom toggle)
-
Uses of PropositionalMapping in org.tweetyproject.arg.adf.reasoner.sat.generator
-
Uses of PropositionalMapping in org.tweetyproject.arg.adf.reasoner.sat.processor
Methods in org.tweetyproject.arg.adf.reasoner.sat.processor with parameters of type PropositionalMapping Modifier and Type Method Description Interpretation
InterpretationProcessor. process(SatSolverState mainState, SatSolverState verificationState, PropositionalMapping mapping, Interpretation interpretation, AbstractDialecticalFramework adf)
Performs the processing of the given interpretation on a potential isolated state, meaning that the updates on this state are not seen by the subsequent processors.void
KBipolarStateProcessor. process(SatSolverState state, PropositionalMapping encodingContext, AbstractDialecticalFramework adf)
Interpretation
MaximizeInterpretationProcessor. process(SatSolverState processingState, SatSolverState verificationState, PropositionalMapping mapping, Interpretation interpretation, AbstractDialecticalFramework adf)
void
RelativeKBipolarStateProcessor. process(SatSolverState state, PropositionalMapping mapping, AbstractDialecticalFramework adf)
void
StateProcessor. process(SatSolverState state, PropositionalMapping mapping, AbstractDialecticalFramework adf)
void
InterpretationProcessor. updateState(SatSolverState state, PropositionalMapping mapping, Interpretation processed, AbstractDialecticalFramework adf)
void
MaximizeInterpretationProcessor. updateState(SatSolverState state, PropositionalMapping mapping, Interpretation maximal, AbstractDialecticalFramework adf)
-
Uses of PropositionalMapping in org.tweetyproject.arg.adf.reasoner.sat.verifier
-
Uses of PropositionalMapping in org.tweetyproject.arg.adf.semantics.interpretation
Methods in org.tweetyproject.arg.adf.semantics.interpretation with parameters of type PropositionalMapping Modifier and Type Method Description static Interpretation
Interpretation. fromWitness(java.util.Set<Atom> witness, PropositionalMapping encodingContext, AbstractDialecticalFramework adf)
Constructs a three-valued ADF interpretation from a witness of a propositional sat encoding.
-