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 Type
    Method
    Description
    void
    encode​(Consumer<Clause> consumer, Interpretation interpretation)
     
  • Method Details

    • encode

      void encode(Consumer<Clause> consumer, Interpretation interpretation)
      Parameters:
      consumer - consumer
      interpretation - interpretation