Uses of Class org.tweetyproject.arg.adf.reasoner.sat.encodings.PropositionalMapping

Packages that use PropositionalMapping
Package	Description
org.tweetyproject.arg.adf.reasoner.sat.encodings
org.tweetyproject.arg.adf.reasoner.sat.generator
org.tweetyproject.arg.adf.reasoner.sat.processor
org.tweetyproject.arg.adf.reasoner.sat.verifier
org.tweetyproject.arg.adf.semantics.interpretation

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

Methods in org.tweetyproject.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 mapping, 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 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)`	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 org.tweetyproject.arg.adf.reasoner.sat.verifier

Methods in org.tweetyproject.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 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.