MinimalModelProvider

Type Parameters:: A - a formula; B - a beliefbase; C - a formula

All Known Implementing Classes:: SimpleMinimalModelProvider

public interface MinimalModelProvider<A extends Formula,B extends BeliefBase,C extends Formula>

MinimalModelProvider class

Author:: Sebastian Franke

Method Summary

Modifier and Type

Method

Description

Set<InterpretationSet<A,B,C>>

getMinModels(B f)

Constructor

Set<PossibleWorld>

getMinModels(C f)

Constructor

Method Details
- getMinModels
  
  Set<InterpretationSet<A,B,C>> getMinModels(B f)
  
  Constructor
  
  Parameters:
  
  f - a beliefbase
  
  Returns:
  
  the minimal models
- getMinModels
  
  Set<PossibleWorld> getMinModels(C f)
  
  Constructor
  
  Parameters:
  
  f - a beliefbase
  
  Returns:
  
  a set of possible worlds