Class VerifyAdmissibleSatEncoding

  • All Implemented Interfaces:
    SatEncoding

    public class VerifyAdmissibleSatEncoding
    extends java.lang.Object
    implements SatEncoding
    Author:
    Mathias Hofer
    • Constructor Detail

      • VerifyAdmissibleSatEncoding

        public VerifyAdmissibleSatEncoding​(Interpretation interpretation)
        Parameters:
        interpretation - the interpretation to verify
      • VerifyAdmissibleSatEncoding

        public VerifyAdmissibleSatEncoding​(Interpretation interpretation,
                                           Proposition toggle)
        Parameters:
        interpretation - the interpretation to verify
        toggle - the toggle which is used to activate the encoding