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

Interface SatEncoding

All Known Implementing Classes:

BipolarSatEncoding, ConflictFreeInterpretationSatEncoding, FixPartialSatEncoding, KBipolarSatEncoding, LargerInterpretationSatEncoding, RefineLargerSatEncoding, RefineUnequalSatEncoding, TwoValuedModelSatEncoding, VerifyAdmissibleSatEncoding

public interface SatEncoding

TODO: reconsider how sat encodings are organized, factories? singleton? static? currently it is stateless and therefore we can reuse and share a single instance

Author:

Mathias Hofer

Method Summary

Modifier and Type	Method	Description
default java.util.Collection<Disjunction>	encode(SatEncodingContext context)
java.util.Collection<Disjunction>	encode(SatEncodingContext context, Interpretation interpretation)	Constructs a SAT encoding based on the given context and an optional interpretation.

Method Detail

encode

default java.util.Collection<Disjunction> encode(SatEncodingContext context)

encode

java.util.Collection<Disjunction> encode(SatEncodingContext context,
                                         Interpretation interpretation)

Constructs a SAT encoding based on the given context and an optional interpretation.

Parameters:

context -

interpretation -

Returns:

a set of disjunctions