Package net.sf.tweety.commons

Interface ModelProvider<S extends Formula,​B extends BeliefBase,​T extends Interpretation<B,​S>>

  • Type Parameters:
    S - the type of formulas
    B - the type of belief bases
    T - the type of interpretations
    public interface ModelProvider<S extends Formula,​B extends BeliefBase,​T extends Interpretation<B,​S>>
    Instances of this interface model reasoners that determine the (selected) models for a given set of formulas.
    Author:
    Matthias Thimm

    • Method Summary

      Modifier and Type Method Description
      T getModel​(B bbase)
      Returns a single (dedicated) model of the given belief base.
      Collection<T> getModels​(B bbase)
      Returns a characterizing model of the given belief base

    • Method Detail

      • getModels

        Collection<T> getModels​(B bbase)
        Returns a characterizing model of the given belief base
        Parameters:
        bbase - some belief base
        Returns:
        the (selected) models of the belief base

      • getModel

        T getModel​(B bbase)
        Returns a single (dedicated) model of the given belief base. If the implemented method allows for more than one dedicated model, the selection may be non-deterministic.
        Parameters:
        bbase - some belief base
        Returns:
        a selected model of the belief base.