Package org.tweetyproject.arg.adf.reasoner.sat.encodings

Interface RelativeSatEncoding

All Known Implementing Classes:
ConflictFreeInterpretationSatEncoding, FixPartialSatEncoding, LargerInterpretationSatEncoding, RefineLargerSatEncoding, RefineUnequalSatEncoding, TwoValuedModelSatEncoding
public interface RelativeSatEncoding
A SAT encoding which is relative to a given interpretation.
Author:
Mathias

  • Method Summary

    Modifier and Type
    Method
    Description
    void
    encode(Consumer<Clause> consumer, Interpretation interpretation)
    Encodes clauses relative to the given interpretation.

  • Method Details

    • encode

      void encode(Consumer<Clause> consumer, Interpretation interpretation)
      Encodes clauses relative to the given interpretation.
      Parameters:
      consumer - the consumer that receives generated clauses
      interpretation - the reference interpretation