Uses of Interface
net.sf.tweety.arg.adf.reasoner.encodings.SatEncoding

Packages that use SatEncoding

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

Uses of SatEncoding in net.sf.tweety.arg.adf.reasoner.encodings

Classes in net.sf.tweety.arg.adf.reasoner.encodings that implement SatEncoding

Modifier and Type	Class	Description
class	BipolarSatEncoding
class	ConflictFreeInterpretationSatEncoding
class	FixPartialSatEncoding	Fixes the already assigned true/false values.
class	KBipolarSatEncoding
class	LargerInterpretationSatEncoding
class	RefineLargerSatEncoding	TODO work out difference to LargerInterpretationSatEncoding in documentation
class	RefineUnequalSatEncoding
class	TwoValuedModelSatEncoding
class	VerifyAdmissibleSatEncoding

Uses of SatEncoding in net.sf.tweety.arg.adf.reasoner.generator

Fields in net.sf.tweety.arg.adf.reasoner.generator declared as SatEncoding

Modifier and Type	Field	Description
private static SatEncoding	SatGroundGenerator.CONFLICT_FREE
private static SatEncoding	SatConflictFreeGenerator.CONFLICT_FREE_ENCODING
private static SatEncoding	SatGroundGenerator.FIX_PARTIAL
private static SatEncoding	SatConflictFreeGenerator.REFINE_UNEQUAL
private static SatEncoding	SatModelGenerator.REFINE_UNEQUAL
private static SatEncoding	SatModelGenerator.TWO_VALUED_MODEL_ENCODING

Uses of SatEncoding in net.sf.tweety.arg.adf.reasoner.processor

Fields in net.sf.tweety.arg.adf.reasoner.processor declared as SatEncoding

Modifier and Type	Field	Description
private static SatEncoding	SatKBipolarStateProcessor.BIPOLAR_ENCODING
private static SatEncoding	SatPartialKBipolarInterpretationProcessor.BIPOLAR_ENCODING
private static SatEncoding	SatKBipolarStateProcessor.K_BIPOLAR_ENCODING
private static SatEncoding	SatPartialKBipolarInterpretationProcessor.K_BIPOLAR_ENCODING
private static SatEncoding	SatMaximizeInterpretationProcessor.LARGER_INTERPRETATION
private static SatEncoding	SatMaximizeInterpretationProcessor.REFINE_LARGER
private static SatEncoding	SatMaximizeInterpretationProcessor.REFINE_UNEQUAL

Uses of SatEncoding in net.sf.tweety.arg.adf.reasoner.verifier

Fields in net.sf.tweety.arg.adf.reasoner.verifier declared as SatEncoding

Modifier and Type	Field	Description
private static SatEncoding	SatCompleteVerifier.CONFLICT_FREE_ENCODING
private static SatEncoding	SatCompleteVerifier.FIX_PARTIAL_ENCODING
private static SatEncoding	SatCompleteVerifier.LARGER_INTERPRETATION_ENCODING
private static SatEncoding	SatAdmissibleVerifier.VERIFY_ADMISSIBLE_ENCODING