Class UnsatisfiableCriterion

    • Constructor Detail

      • UnsatisfiableCriterion

        public UnsatisfiableCriterion​(String pMsg)
        Parameters:
        pMsg - Message used for 'toString()'
    • Method Detail

      • test

        public final boolean test()
        Description copied from interface: ActivationCriterion
        TODO: return an Object (null for passed test).