Class SimpleMinimalModelProvider

java.lang.Object
org.tweetyproject.logics.pl.analysis.SimpleMinimalModelProvider
All Implemented Interfaces:
MinimalModelProvider<Proposition,PlBeliefSet,PlFormula>

public class SimpleMinimalModelProvider extends Object implements MinimalModelProvider<Proposition,PlBeliefSet,PlFormula>
comptes all minimal models given a set of models
Author:
Sebastian Franke