Class KBipolarSatEncoding

  • All Implemented Interfaces:
    SatEncoding

    public class KBipolarSatEncoding
    extends java.lang.Object
    implements SatEncoding
    Author:
    Mathias Hofer
    • Method Summary

      Modifier and Type Method Description
      void encode​(java.util.function.Consumer<Clause> consumer, PropositionalMapping mapping, AbstractDialecticalFramework adf)  
      • Methods inherited from class java.lang.Object

        equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait