Class RefineLargerSatEncoding

java.lang.Object
org.tweetyproject.arg.adf.reasoner.sat.encodings.RefineLargerSatEncoding
All Implemented Interfaces:
RelativeSatEncoding

public class RefineLargerSatEncoding extends Object implements RelativeSatEncoding
Prevents smaller interpretations from being computed, but also allows different interpretations of at least the same size.
Author:
Mathias Hofer