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)	Constructs a new BipolarSatEncoding for the given Abstract Dialectical Framework (ADF) and propositional mapping.
	ConflictFreeInterpretationSatEncoding(AbstractDialecticalFramework adf, PropositionalMapping mapping)	Constructs a new ConflictFreeInterpretationSatEncoding for the given Abstract Dialectical Framework (ADF) and propositional mapping.
	FixPartialSatEncoding(PropositionalMapping mapping)
	KBipolarSatEncoding(AbstractDialecticalFramework adf, PropositionalMapping mapping)	Constructs a KBipolarSatEncoding instance with the given ADF and propositional mapping.
	LargerInterpretationSatEncoding(PropositionalMapping mapping)
	RefineLargerSatEncoding(PropositionalMapping mapping)
	RefineUnequalSatEncoding(PropositionalMapping mapping)	Constructs a new RefineUnequalSatEncoding with the specified propositional mapping.
	RestrictedBipolarSatEncoding(AbstractDialecticalFramework adf, PropositionalMapping mapping, Interpretation partial)	Constructs a new RestrictedBipolarSatEncoding for the given Abstract Dialectical Framework (ADF), propositional mapping, and partial interpretation.
	RestrictedKBipolarSatEncoding(AbstractDialecticalFramework adf, PropositionalMapping mapping, Interpretation partial)	Constructs a new RestrictedKBipolarSatEncoding with the specified Abstract Dialectical Framework, propositional mapping, and partial interpretation.
	TwoValuedModelSatEncoding(AbstractDialecticalFramework adf, PropositionalMapping mapping)	Constructs a new TwoValuedModelSatEncoding for the given Abstract Dialectical Framework (ADF) and propositional 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)	Creates a CandidateGenerator that computes conflict-free interpretations which are extensions of the provided 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)	Creates a CandidateGenerator that computes two-valued model interpretations which are extensions of the provided prefix (partial interpretation).
static CandidateGenerator	ConflictFreeGenerator.unrestricted(AbstractDialecticalFramework adf, PropositionalMapping mapping, Supplier<SatSolverState> stateSupplier)	Creates a CandidateGenerator that 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)	Creates a CandidateGenerator that 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)	Creates and returns a restricted InterpretationProcessor that maximizes interpretations based on a given partial interpretation (prefix).
static InterpretationProcessor	AdmissibleMaximizer.unrestricted(Supplier<SatSolverState> stateSupplier, AbstractDialecticalFramework adf, PropositionalMapping mapping)
static InterpretationProcessor	ConflictFreeMaximizer.unrestricted(Supplier<SatSolverState> stateSupplier, AbstractDialecticalFramework adf, PropositionalMapping mapping)	Creates and returns an unrestricted InterpretationProcessor that maximizes interpretations without any restrictions on the partial interpretation.

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

Modifier	Constructor	Description
	KBipolarStateProcessor(AbstractDialecticalFramework adf, PropositionalMapping mapping)	Constructs a new KBipolarStateProcessor for the given Abstract Dialectical Framework (ADF) and propositional mapping.
	RestrictedKBipolarStateProcessor(AbstractDialecticalFramework adf, PropositionalMapping mapping, Interpretation partial)	Constructs a RestrictedKBipolarStateProcessor with the given ADF, propositional mapping, and partial interpretation.

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)	Constructs a CompleteVerifier with the given SAT solver state supplier, abstract dialectical framework, and propositional mapping.
	NaiveVerifier(Supplier<SatSolverState> stateSupplier, AbstractDialecticalFramework adf, PropositionalMapping mapping)
	PreferredVerifier(Supplier<SatSolverState> stateSupplier, AbstractDialecticalFramework adf, PropositionalMapping mapping)	Constructs a PreferredVerifier with the given SAT solver state supplier, abstract dialectical framework, and propositional 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.