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

Interface SatEncoding

All Known Implementing Classes:
BipolarSatEncoding, ConflictFreeInterpretationSatEncoding, KBipolarSatEncoding, RestrictedBipolarSatEncoding, RestrictedKBipolarSatEncoding, TwoValuedModelSatEncoding
public interface SatEncoding
Author:
Mathias Hofer

  • Method Summary

    Modifier and Type
    Method
    Description
    void
    encode(Consumer<Clause> consumer)
     

  • Method Details

    • encode

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