Interface RelativeSatEncoding
- All Known Implementing Classes:
ConflictFreeInterpretationSatEncoding
,FixPartialSatEncoding
,LargerInterpretationSatEncoding
,RefineLargerSatEncoding
,RefineUnequalSatEncoding
,TwoValuedModelSatEncoding
public interface RelativeSatEncoding
A SatEncoding which is relative to a given interpretation.
- Author:
- Mathias
-
Method Summary
Modifier and TypeMethodDescriptionvoid
encode
(Consumer<Clause> consumer, Interpretation interpretation)
-
Method Details
-
encode
- Parameters:
consumer
- consumerinterpretation
- interpretation
-