Class RefineLargerSatEncoding

  • All Implemented Interfaces:
    SatEncoding

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