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