Uses of Interface
org.tweetyproject.logics.pl.analysis.MinimalModelProvider

Packages that use MinimalModelProvider

Package	Description
org.tweetyproject.logics.pl.analysis

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

Classes in org.tweetyproject.logics.pl.analysis that implement MinimalModelProvider

Modifier and Type	Class	Description
class	SimpleMinimalModelProvider	comptes all minimal models given a set of models

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

Modifier and Type	Field	Description
MinimalModelProvider<Proposition,PlBeliefSet,PlFormula>	SimplePrimeImplicantEnumerator.minModelProvider	minimal model provider

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

Modifier	Constructor	Description
	SimplePrimeImplicantEnumerator(MinimalModelProvider<Proposition,PlBeliefSet,PlFormula> minModelProvider)	Constructor