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:
AbstractClaimBasedReasoner, AbstractConditionalLogicReasoner, AbstractExtendedExtensionReasoner, AbstractExtensionReasoner, AbstractExtensionSetAfReasoner, AbstractPclReasoner, AbstractRankingReasoner, AbstractSatExtensionReasoner, ASPSolver, BurdenBasedRankingReasoner, CategorizerRankingReasoner, ClingoSolver, CompleteReasoner, CounterTransitivityReasoner, CountingRankingReasoner, CReasoner, DefaultMeReasoner, DiscussionBasedRankingReasoner, DLVSolver, FlatAbaReasoner, FlattenBasedExtendedExtensionReasoner, GeneralAbaReasoner, GeneralizedMeReasoner, IdealReasoner, IssReasoner, IteratedGradedDefenseReasoner, PreferredReasoner, ProbabilisticRankingReasoner, ProboI23Reasoner, ProboReasoner, PropagationRankingReasoner, QualifiedReasoner, RpclMeReasoner, RuleBasedCReasoner, SAFRankingReasoner, SatCompleteReasoner, SatStableReasoner, SccCF2Reasoner, SCF2Reasoner, SCOOCNaiveReasoner, SemiQualifiedReasoner, SerialisableExtensionReasoner, SerialisableRankingReasoner, SerialisedAdmissibleReasoner, SerialisedCompleteReasoner, SerialisedGroundedReasoner, SerialisedPreferredReasoner, SerialisedStableReasoner, SerialisedStronglyAdmissibleReasoner, SerialisedUnchallengedReasoner, SimpleAdmissibleReasoner, SimpleAdmissibleSetAfReasoner, SimpleClInheritedReasoner, SimpleClNaiveReasoner, SimpleClPreferredReaonser, SimpleClSemistableReasoner, SimpleClStableReasoner, SimpleClStagedReasoner, SimpleCompleteReasoner, SimpleCompleteSetAfReasoner, SimpleConflictFreeReasoner, SimpleConflictFreeSetAfReasoner, SimpleCReasoner, SimpleDefaultReasoner, SimpleEagerReasoner, SimpleEagerSetAfReasoner, SimpleExtendedAdmissibleReasoner, SimpleExtendedCompleteReasoner, SimpleExtendedConflictFreeReasoner, SimpleGroundedReasoner, SimpleGroundedSetAfReasoner, SimpleIdealReasoner, SimpleIdealSetAfReasoner, SimpleInitialReasoner, SimpleModelEnumerator, SimpleNaiveReasoner, SimplePreferredReasoner, SimplePreferredSetAfReasoner, SimpleRelationalCReasoner, SimpleResolutionBasedReasoner, SimpleSccCompleteReasoner, SimpleSccRecursiveReasoner, SimpleSemiStableReasoner, SimpleSemiStableSetAfReasoner, SimpleStableReasoner, SimpleStableSetAfReasoner, SimpleStageReasoner, SimpleStageSetAfReasoner, SolidAdmissibleReasoner, StableReasoner, Stage2Reasoner, StrategyBasedRankingReasoner, StratifiedLabelingReasoner, StronglyAdmissibleReasoner, StronglyUndisputedReasoner, TuplesRankingReasoner, UndisputedReasoner, VacuousReductReasoner, WeaklyAdmissibleReasoner, WeaklyCompleteReasoner, WeaklyGroundedReasoner, WeaklyPreferredReasoner, 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