Package org.tweetyproject.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

All Known Implementing Classes:

AbstractConditionalLogicReasoner, AbstractExtensionReasoner, AbstractPclReasoner, AbstractRankingReasoner, AbstractSatExtensionReasoner, ASPSolver, BurdenBasedRankingReasoner, CategorizerRankingReasoner, ClingoSolver, CompleteReasoner, CountingRankingReasoner, CReasoner, DefaultMeReasoner, DiscussionBasedRankingReasoner, DLVSolver, FlatAbaReasoner, GeneralAbaReasoner, GeneralizedMeReasoner, IdealReasoner, IssReasoner, IteratedGradedDefenseReasoner, MTRankingReasoner, PreferredReasoner, ProbabilisticRankingReasoner, ProboReasoner, PropagationRankingReasoner, QualifiedReasoner, RpclMeReasoner, RuleBasedCReasoner, SAFRankingReasoner, SatCompleteReasoner, SatStableReasoner, SccCF2Reasoner, SCF2Reasoner, SCOOCNaiveReasoner, SemiQualifiedReasoner, SimpleAdmissibleReasoner, SimpleCompleteReasoner, SimpleConflictFreeReasoner, SimpleCReasoner, SimpleDefaultReasoner, SimpleGroundedReasoner, SimpleIdealReasoner, SimpleNaiveReasoner, SimplePreferredReasoner, SimpleRelationalCReasoner, SimpleSccCompleteReasoner, SimpleSemiStableReasoner, SimpleStableReasoner, SimpleStageReasoner, StableReasoner, Stage2Reasoner, StratifiedLabelingReasoner, TuplesRankingReasoner, WeaklyAdmissibleReasoner, WellFoundedReasoner, ZReasoner

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.
java.util.Collection<T>	getModels(B bbase)	Returns a characterizing model of the given belief base

Method Detail

getModels

java.util.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.