Class RestrictedKBipolarSatEncoding

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

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