Uses of Class
net.sf.tweety.arg.adf.reasoner.sat.encodings.PropositionalMapping

Packages that use PropositionalMapping

Package	Description
net.sf.tweety.arg.adf.reasoner.sat.encodings
net.sf.tweety.arg.adf.reasoner.sat.generator
net.sf.tweety.arg.adf.reasoner.sat.processor
net.sf.tweety.arg.adf.reasoner.sat.verifier
net.sf.tweety.arg.adf.semantics.interpretation

Uses of PropositionalMapping in net.sf.tweety.arg.adf.reasoner.sat.encodings

Methods in net.sf.tweety.arg.adf.reasoner.sat.encodings with parameters of type PropositionalMapping

Modifier and Type	Method	Description
void	BipolarSatEncoding.encode(java.util.function.Consumer<Disjunction> consumer, PropositionalMapping mapping, AbstractDialecticalFramework adf)
void	ConflictFreeInterpretationSatEncoding.encode(java.util.function.Consumer<Disjunction> consumer, PropositionalMapping context, AbstractDialecticalFramework adf)
void	FixPartialSatEncoding.encode(java.util.function.Consumer<Disjunction> consumer, PropositionalMapping context, AbstractDialecticalFramework adf)
void	KBipolarSatEncoding.encode(java.util.function.Consumer<Disjunction> consumer, PropositionalMapping context, AbstractDialecticalFramework adf)
void	LargerInterpretationSatEncoding.encode(java.util.function.Consumer<Disjunction> consumer, PropositionalMapping context, AbstractDialecticalFramework adf)
void	RefineLargerSatEncoding.encode(java.util.function.Consumer<Disjunction> consumer, PropositionalMapping context, AbstractDialecticalFramework adf)
void	RefineUnequalSatEncoding.encode(java.util.function.Consumer<Disjunction> consumer, PropositionalMapping context, AbstractDialecticalFramework adf)
void	RelativeBipolarSatEncoding.encode(java.util.function.Consumer<Disjunction> consumer, PropositionalMapping mapping, AbstractDialecticalFramework adf)
void	RelativeKBipolarSatEncoding.encode(java.util.function.Consumer<Disjunction> consumer, PropositionalMapping mapping, AbstractDialecticalFramework adf)
default void	SatEncoding.encode(java.util.Collection<Disjunction> collection, PropositionalMapping mapping, AbstractDialecticalFramework adf)
void	SatEncoding.encode(java.util.function.Consumer<Disjunction> consumer, PropositionalMapping mapping, AbstractDialecticalFramework adf)
default java.util.Collection<Disjunction>	SatEncoding.encode(PropositionalMapping mapping, AbstractDialecticalFramework adf)
void	TwoValuedModelSatEncoding.encode(java.util.function.Consumer<Disjunction> consumer, PropositionalMapping context, AbstractDialecticalFramework adf)
void	VerifyAdmissibleSatEncoding.encode(java.util.function.Consumer<Disjunction> consumer, PropositionalMapping context, AbstractDialecticalFramework adf)

Uses of PropositionalMapping in net.sf.tweety.arg.adf.reasoner.sat.generator

Methods in net.sf.tweety.arg.adf.reasoner.sat.generator with parameters of type PropositionalMapping

Modifier and Type	Method	Description
Interpretation	CandidateGenerator.generate(SatSolverState state, PropositionalMapping mapping, AbstractDialecticalFramework adf)	Does not return the same candidate on two calls on the same instance.
Interpretation	ConflictFreeGenerator.generate(SatSolverState state, PropositionalMapping mapping, AbstractDialecticalFramework adf)
Interpretation	GroundGenerator.generate(SatSolverState state, PropositionalMapping encodingContext, AbstractDialecticalFramework adf)
Interpretation	ModelGenerator.generate(SatSolverState state, PropositionalMapping encodingContext, AbstractDialecticalFramework adf)
void	CandidateGenerator.initialize(SatSolverState state, PropositionalMapping mapping, AbstractDialecticalFramework adf)	Performs initializations on the state.
void	ConflictFreeGenerator.initialize(SatSolverState state, PropositionalMapping mapping, AbstractDialecticalFramework adf)
void	GroundGenerator.initialize(SatSolverState state, PropositionalMapping mapping, AbstractDialecticalFramework adf)
void	ModelGenerator.initialize(SatSolverState state, PropositionalMapping encodingContext, AbstractDialecticalFramework adf)

Uses of PropositionalMapping in net.sf.tweety.arg.adf.reasoner.sat.processor

Methods in net.sf.tweety.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)	This method is called by the Pipeline on the shared state and the result of the process method, hence after the processing is done.
void	MaximizeInterpretationProcessor.updateState(SatSolverState state, PropositionalMapping mapping, Interpretation maximal, AbstractDialecticalFramework adf)

Uses of PropositionalMapping in net.sf.tweety.arg.adf.reasoner.sat.verifier

Methods in net.sf.tweety.arg.adf.reasoner.sat.verifier with parameters of type PropositionalMapping

Modifier and Type	Method	Description
boolean	AdmissibleVerifier.postVerification(SatSolverState state, PropositionalMapping mapping, Interpretation candidate, AbstractDialecticalFramework adf, boolean verificationResult)
boolean	CompleteVerifier.postVerification(SatSolverState state, PropositionalMapping mapping, Interpretation candidate, AbstractDialecticalFramework adf, boolean verificationResult)
boolean	GrounderStableVerifier.postVerification(SatSolverState state, PropositionalMapping mapping, Interpretation candidate, AbstractDialecticalFramework adf, boolean verificationResult)
boolean	Verifier.postVerification(SatSolverState state, PropositionalMapping mapping, Interpretation candidate, AbstractDialecticalFramework adf, boolean verificationResult)	Gets called after every verify call.
void	AdmissibleVerifier.prepareState(SatSolverState state, PropositionalMapping mapping, AbstractDialecticalFramework adf)
void	CompleteVerifier.prepareState(SatSolverState state, PropositionalMapping mapping, AbstractDialecticalFramework adf)
void	GrounderStableVerifier.prepareState(SatSolverState state, PropositionalMapping mapping, AbstractDialecticalFramework adf)
void	Verifier.prepareState(SatSolverState state, PropositionalMapping mapping, AbstractDialecticalFramework adf)	Gets called exactly once for each SatSolverState before the first use in verify.
boolean	AdmissibleVerifier.verify(SatSolverState state, PropositionalMapping mapping, Interpretation candidate, AbstractDialecticalFramework adf)
boolean	CompleteVerifier.verify(SatSolverState state, PropositionalMapping mapping, Interpretation candidate, AbstractDialecticalFramework adf)
boolean	GrounderStableVerifier.verify(SatSolverState state, PropositionalMapping encodingContext, Interpretation candidate, AbstractDialecticalFramework adf)
boolean	Verifier.verify(SatSolverState state, PropositionalMapping mapping, Interpretation candidate, AbstractDialecticalFramework adf)	Gets called by the Pipeline to verify if the computed candidate Interpretation asserts a certain property.

Uses of PropositionalMapping in net.sf.tweety.arg.adf.semantics.interpretation

Methods in net.sf.tweety.arg.adf.semantics.interpretation with parameters of type PropositionalMapping

Modifier and Type	Method	Description
static Interpretation	Interpretation.fromWitness(Interpretation<PlBeliefSet,PlFormula> witness, PropositionalMapping encodingContext, AbstractDialecticalFramework adf)	Constructs a three-valued ADF interpretation from a witness of a propositional sat encoding.