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

Constructors in org.tweetyproject.arg.adf.reasoner.sat.encodings with parameters of type PropositionalMapping

Modifier	Constructor	Description
	BipolarSatEncoding(AbstractDialecticalFramework adf, PropositionalMapping mapping)
	ConflictFreeInterpretationSatEncoding(AbstractDialecticalFramework adf, PropositionalMapping mapping)
	FixPartialSatEncoding(PropositionalMapping mapping)
	KBipolarSatEncoding(AbstractDialecticalFramework adf, PropositionalMapping mapping)
	LargerInterpretationSatEncoding(PropositionalMapping mapping)
	RefineLargerSatEncoding(PropositionalMapping mapping)
	RefineUnequalSatEncoding(PropositionalMapping mapping)
	RelativeBipolarSatEncoding(Interpretation interpretation, Link link, PropositionalMapping mapping)
	TwoValuedModelSatEncoding(AbstractDialecticalFramework adf, PropositionalMapping mapping)

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
static CandidateGenerator	ConflictFreeGenerator.withoutPrefix(AbstractDialecticalFramework adf, PropositionalMapping mapping)	The resulting CandidateGenerator computes all conflict free interpretations.
static CandidateGenerator	GroundGenerator.withoutPrefix(AbstractDialecticalFramework adf, PropositionalMapping mapping)	The resulting CandidateGenerator computes the ground interpretation.
static CandidateGenerator	ModelGenerator.withoutPrefix(AbstractDialecticalFramework adf, PropositionalMapping mapping)	The resulting CandidateGenerator computes all two-valued model interpretations.
static CandidateGenerator	ConflictFreeGenerator.withPrefix(AbstractDialecticalFramework adf, PropositionalMapping mapping, Interpretation prefix)	The resulting CandidateGenerator only computes conflict free interpretations which are extensions of the defined prefix.
static CandidateGenerator	GroundGenerator.withPrefix(AbstractDialecticalFramework adf, PropositionalMapping mapping, Interpretation prefix)	The resulting CandidateGenerator only computes the ground interpretation if it extends the given prefix.
static CandidateGenerator	ModelGenerator.withPrefix(AbstractDialecticalFramework adf, PropositionalMapping mapping, Interpretation prefix)	The resulting CandidateGenerator only computes two-valued models which are extensions of the defined prefix.

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
static 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)

Constructors in org.tweetyproject.arg.adf.reasoner.sat.processor with parameters of type PropositionalMapping

Modifier	Constructor	Description
	KBipolarStateProcessor(AbstractDialecticalFramework adf, PropositionalMapping mapping)
	RelativeKBipolarStateProcessor(int maxDepth, LinkStrategy linkStrategy, AbstractDialecticalFramework adf, PropositionalMapping mapping)

Uses of PropositionalMapping in org.tweetyproject.arg.adf.reasoner.sat.verifier

Constructors in org.tweetyproject.arg.adf.reasoner.sat.verifier with parameters of type PropositionalMapping

Modifier	Constructor	Description
	AdmissibleVerifier(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

Methods in org.tweetyproject.arg.adf.semantics.interpretation with parameters of type PropositionalMapping

Modifier and Type	Method	Description
static Interpretation	Interpretation.fromWitness(Set<Literal> witness, PropositionalMapping mapping)	Constructs a three-valued ADF interpretation from a witness of a propositional sat encoding.