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

Field Summary

Fields

Modifier and Type

Field

Description

ModelProvider<?, PlBeliefSet, InterpretationSet<Proposition, PlBeliefSet, PlFormula>>

modelProvider

model provider
Constructor Summary

Constructors

Constructor

Description

SimpleMinimalModelProvider(ModelProvider<?, PlBeliefSet, InterpretationSet<Proposition, PlBeliefSet, PlFormula>> modelProvider)

standard constructor with model provider
Method Summary

Modifier and Type

Method

Description

Set<InterpretationSet<Proposition, PlBeliefSet, PlFormula>>

getMinModels(PlBeliefSet f)

Constructor

Set<PossibleWorld>

getMinModels(PlFormula f)

Constructor

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

Field Details
- modelProvider
  
  public ModelProvider<?, PlBeliefSet, InterpretationSet<Proposition, PlBeliefSet, PlFormula>> modelProvider
  
  model provider
Constructor Details
- SimpleMinimalModelProvider
  
  public SimpleMinimalModelProvider(ModelProvider<?, PlBeliefSet, InterpretationSet<Proposition, PlBeliefSet, PlFormula>> modelProvider)
  
  standard constructor with model provider
  
  Parameters:
  
  modelProvider - a model provider
Method Details
- getMinModels
  
  public Set<InterpretationSet<Proposition, PlBeliefSet, PlFormula>> getMinModels(PlBeliefSet f)
  
  Description copied from interface: MinimalModelProvider
  
  Constructor
  
  Specified by:
  
  getMinModels in interface MinimalModelProvider<Proposition, PlBeliefSet, PlFormula>
  
  Parameters:
  
  f - all models
  
  Returns:
  
  the minimal models
- getMinModels
  
  public Set<PossibleWorld> getMinModels(PlFormula f)
  
  Description copied from interface: MinimalModelProvider
  
  Constructor
  
  Specified by:
  
  getMinModels in interface MinimalModelProvider<Proposition, PlBeliefSet, PlFormula>
  
  Parameters:
  
  f - a beliefbase
  
  Returns:
  
  a set of possible worlds