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
-
-