Class NaiveMusEnumerator<S extends Formula>

    • Constructor Detail

      • NaiveMusEnumerator

        public NaiveMusEnumerator​(BeliefSetConsistencyTester<S> tester)
        Creates a new naive MusEnumerator that uses the given consistency tester.
        Parameters:
        tester - some consistency tester