Class KBipolarSatEncoding

java.lang.Object
org.tweetyproject.arg.adf.reasoner.sat.encodings.KBipolarSatEncoding
All Implemented Interfaces:
SatEncoding

public final class KBipolarSatEncoding extends Object implements SatEncoding
Author:
Mathias Hofer