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