SimplePrimeImplicantEnumerator

java.lang.Object

org.tweetyproject.logics.pl.analysis.PrimeImplicantEnumerator

org.tweetyproject.logics.pl.analysis.SimplePrimeImplicantEnumerator

public class SimplePrimeImplicantEnumerator extends PrimeImplicantEnumerator

computes the prime implicants given a set of minimal models

Author:: Sebastian Franke

Field Summary

Fields

Modifier and Type

Field

Description

MinimalModelProvider<Proposition,PlBeliefSet,PlFormula>

minModelProvider

minimal model provider
Constructor Summary

Constructors

Constructor

Description

SimplePrimeImplicantEnumerator(MinimalModelProvider<Proposition,PlBeliefSet,PlFormula> minModelProvider)
Method Summary

Modifier and Type

Method

Description

Set<PlFormula>

compressPrimeImplicants(Set<Set<PlFormula>> primeImplicants)

List<Set<PlFormula>>

getPrimeImplicants(PlBeliefSet forms)

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

Field Details
- minModelProvider
  
  public MinimalModelProvider<Proposition,PlBeliefSet,PlFormula> minModelProvider
  
  minimal model provider
Constructor Details
- SimplePrimeImplicantEnumerator
  
  public SimplePrimeImplicantEnumerator(MinimalModelProvider<Proposition,PlBeliefSet,PlFormula> minModelProvider)
  
  Parameters:
  
  minModelProvider - a minimal model rpovider
Method Details
- compressPrimeImplicants
  
  public Set<PlFormula> compressPrimeImplicants(Set<Set<PlFormula>> primeImplicants)
  
  Parameters:
  
  primeImplicants -
  
  Returns:
  
  the compressed prime implicants
- getPrimeImplicants
  
  public List<Set<PlFormula>> getPrimeImplicants(PlBeliefSet forms)
  
  Specified by:
  
  getPrimeImplicants in class PrimeImplicantEnumerator
  
  Parameters:
  
  forms - the formulas to be based upon
  
  Returns:
  
  the prime implicants of forms