Class TwoValuedModelSatEncoding

  • All Implemented Interfaces:

    public class TwoValuedModelSatEncoding
    extends java.lang.Object
    implements SatEncoding
    Mathias Hofer
    • Method Summary

      Modifier and Type Method Description
      java.util.Collection<Disjunction> encode​(SatEncodingContext context, Interpretation interpretation)
      Constructs a SAT encoding based on the given context and an optional interpretation.
      • Methods inherited from class java.lang.Object

        clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
      • Methods inherited from interface net.sf.tweety.arg.adf.reasoner.encodings.SatEncoding

    • Constructor Detail

      • TwoValuedModelSatEncoding

        public TwoValuedModelSatEncoding()