Class PrimeImplicantEnumerator

java.lang.Object
org.tweetyproject.logics.pl.analysis.PrimeImplicantEnumerator
Direct Known Subclasses:
SimplePrimeImplicantEnumerator

public abstract class PrimeImplicantEnumerator extends Object
prime implicant enumerator
Author:
Sebastian Franke
  • Constructor Details

    • PrimeImplicantEnumerator

      public PrimeImplicantEnumerator()
  • Method Details

    • getPrimeImplicants

      public abstract List<Set<PlFormula>> getPrimeImplicants(PlBeliefSet forms)
      Parameters:
      forms - formulas
      Returns:
      the prime implicants