Uses of Class
org.tweetyproject.logics.pl.analysis.PrimeImplicantEnumerator

Packages that use PrimeImplicantEnumerator

Package	Description
org.tweetyproject.logics.pl.analysis

Uses of PrimeImplicantEnumerator in org.tweetyproject.logics.pl.analysis

Subclasses of PrimeImplicantEnumerator in org.tweetyproject.logics.pl.analysis

Modifier and Type	Class	Description
class	SimplePrimeImplicantEnumerator	computes the prime implicants given a set of minimal models

Fields in org.tweetyproject.logics.pl.analysis declared as PrimeImplicantEnumerator

Modifier and Type	Field	Description
PrimeImplicantEnumerator	PrimeImplicantBasedInconsistencyMeasure.primeImp	prime implicant enumerator

Constructors in org.tweetyproject.logics.pl.analysis with parameters of type PrimeImplicantEnumerator

Modifier	Constructor	Description
	PrimeImplicantBasedInconsistencyMeasure(PrimeImplicantEnumerator primeImp)	Constructor