Uses of Class
net.sf.tweety.arg.adf.reasoner.encodings.SatEncodingContext

Packages that use SatEncodingContext

Package	Description
net.sf.tweety.arg.adf.reasoner
net.sf.tweety.arg.adf.reasoner.encodings

Uses of SatEncodingContext in net.sf.tweety.arg.adf.reasoner

Fields in net.sf.tweety.arg.adf.reasoner declared as SatEncodingContext

Modifier and Type	Field	Description
private SatEncodingContext	SatReasonerContext.encodingContext

Methods in net.sf.tweety.arg.adf.reasoner that return SatEncodingContext

Modifier and Type	Method	Description
SatEncodingContext	SatReasonerContext.getEncodingContext()

Constructors in net.sf.tweety.arg.adf.reasoner with parameters of type SatEncodingContext

Constructor	Description
SatReasonerContext(SatEncodingContext encodingContext, IncrementalSatSolver solver, SatSolverState solverState)

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

Methods in net.sf.tweety.arg.adf.reasoner.encodings with parameters of type SatEncodingContext

Modifier and Type	Method	Description
java.util.Collection<Disjunction>	BipolarSatEncoding.encode(SatEncodingContext context, Interpretation interpretation)
java.util.Collection<Disjunction>	ConflictFreeInterpretationSatEncoding.encode(SatEncodingContext context, Interpretation interpretation)
java.util.Collection<Disjunction>	FixPartialSatEncoding.encode(SatEncodingContext context, Interpretation interpretation)
java.util.Collection<Disjunction>	KBipolarSatEncoding.encode(SatEncodingContext context, Interpretation interpretation)
java.util.Collection<Disjunction>	LargerInterpretationSatEncoding.encode(SatEncodingContext context, Interpretation interpretation)
java.util.Collection<Disjunction>	RefineLargerSatEncoding.encode(SatEncodingContext context, Interpretation interpretation)
java.util.Collection<Disjunction>	RefineUnequalSatEncoding.encode(SatEncodingContext context, Interpretation interpretation)
default java.util.Collection<Disjunction>	SatEncoding.encode(SatEncodingContext context)
java.util.Collection<Disjunction>	SatEncoding.encode(SatEncodingContext context, Interpretation interpretation)	Constructs a SAT encoding based on the given context and an optional interpretation.
java.util.Collection<Disjunction>	TwoValuedModelSatEncoding.encode(SatEncodingContext context, Interpretation interpretation)
java.util.Collection<Disjunction>	VerifyAdmissibleSatEncoding.encode(SatEncodingContext context, Interpretation interpretation)