Interface MinimalModelProvider<A extends Formula,B extends BeliefBase,C extends Formula>

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 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