Class RestrictedBipolarSatEncoding

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

public class RestrictedBipolarSatEncoding extends Object implements SatEncoding
Author:
Mathias Hofer