SimpleModelEnumerator

java.lang.Object

org.tweetyproject.logics.pl.sat.SimpleModelEnumerator

All Implemented Interfaces:: ModelProvider<PlFormula,PlBeliefSet,InterpretationSet<Proposition,PlBeliefSet,PlFormula>>

public class SimpleModelEnumerator extends Object implements ModelProvider<PlFormula,PlBeliefSet,InterpretationSet<Proposition,PlBeliefSet,PlFormula>>

enumerates all models naivly

Author:: Sebastian Franke

Constructor Summary

Constructors

Constructor

Description

SimpleModelEnumerator()
Method Summary

Modifier and Type

Method

Description

InterpretationSet<Proposition,PlBeliefSet,PlFormula>

getModel(PlBeliefSet bbase)

Returns a single (dedicated) model of the given belief base.

Set<InterpretationSet<Proposition,PlBeliefSet,PlFormula>>

getModels(Collection<PlFormula> formulas)

Collection<InterpretationSet<Proposition,PlBeliefSet,PlFormula>>

getModels(PlBeliefSet bbase)

Returns a characterizing model of the given belief base

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

Constructor Details
- SimpleModelEnumerator
  
  public SimpleModelEnumerator()
Method Details
- getModels
  
  public Set<InterpretationSet<Proposition,PlBeliefSet,PlFormula>> getModels(Collection<PlFormula> formulas)
  
  Parameters:
  
  formulas - Pl Formulas to have all models enumerated
  
  Returns:
  
  all models satifying the formulas
- getModels
  
  public Collection<InterpretationSet<Proposition,PlBeliefSet,PlFormula>> getModels(PlBeliefSet bbase)
  
  Description copied from interface: ModelProvider
  
  Returns a characterizing model of the given belief base
  
  Specified by:
  
  getModels in interface ModelProvider<PlFormula,PlBeliefSet,InterpretationSet<Proposition,PlBeliefSet,PlFormula>>
  
  Parameters:
  
  bbase - some belief base
  
  Returns:
  
  the (selected) models of the belief base
- getModel
  
  public InterpretationSet<Proposition,PlBeliefSet,PlFormula> getModel(PlBeliefSet bbase)
  
  Description copied from interface: ModelProvider
  
  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.
  
  Specified by:
  
  getModel in interface ModelProvider<PlFormula,PlBeliefSet,InterpretationSet<Proposition,PlBeliefSet,PlFormula>>
  
  Parameters:
  
  bbase - some belief base
  
  Returns:
  
  a selected model of the belief base.