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

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.restricted(Supplier<SatSolverState> stateSupplier, AbstractDialecticalFramework adf, PropositionalMapping mapping, Interpretation prefix)
static InterpretationProcessor	ConflictFreeMaximizer.restricted(Supplier<SatSolverState> stateSupplier, AbstractDialecticalFramework adf, PropositionalMapping mapping, Interpretation prefix)
static InterpretationProcessor	AdmissibleMaximizer.unrestricted(Supplier<SatSolverState> stateSupplier, AbstractDialecticalFramework adf, PropositionalMapping mapping)
static InterpretationProcessor	ConflictFreeMaximizer.unrestricted(Supplier<SatSolverState> stateSupplier, AbstractDialecticalFramework adf, PropositionalMapping mapping)

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

Modifier	Constructor	Description
	KBipolarStateProcessor(AbstractDialecticalFramework adf, PropositionalMapping mapping)
	RestrictedKBipolarStateProcessor(AbstractDialecticalFramework adf, PropositionalMapping mapping, Interpretation partial)

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
	CompleteVerifier(Supplier<SatSolverState> stateSupplier, AbstractDialecticalFramework adf, PropositionalMapping mapping)
	NaiveVerifier(Supplier<SatSolverState> stateSupplier, AbstractDialecticalFramework adf, PropositionalMapping mapping)
	PreferredVerifier(Supplier<SatSolverState> stateSupplier, AbstractDialecticalFramework adf, PropositionalMapping mapping)
	StableVerifier(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.