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 Summary

Constructors

Constructor

Description

PrimeImplicantEnumerator()
Method Summary

Modifier and Type

Method

Description

abstract List<Set<PlFormula>>

getPrimeImplicants(PlBeliefSet forms)

Methods inherited from class java.lang.Object
equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

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