Class LargerInterpretationSatEncoding

  • All Implemented Interfaces:
    SatEncoding

    public class LargerInterpretationSatEncoding
    extends java.lang.Object
    implements SatEncoding
    Fixes the two valued assignments and tries to find a two valued assignment for at least one of the undecided ones.
    Author:
    Mathias Hofer
    • Constructor Detail

      • LargerInterpretationSatEncoding

        public LargerInterpretationSatEncoding​(Interpretation interpretation)
        Parameters:
        interpretation - the interpretation which is used as a lower bound
      • LargerInterpretationSatEncoding

        public LargerInterpretationSatEncoding​(Interpretation interpretation,
                                               Proposition toggle)
        Parameters:
        interpretation - the interpretation which is used as a lower bound
        toggle - the toggle to activate the encoding