Class SimpleClInheritedReasoner
java.lang.Object
org.tweetyproject.arg.dung.reasoner.AbstractClaimBasedReasoner
org.tweetyproject.arg.dung.reasoner.SimpleClInheritedReasoner
- All Implemented Interfaces:
ModelProvider<ClaimArgument,
,ClaimBasedTheory, ClaimSet> QualitativeReasoner<ClaimBasedTheory,
,ClaimArgument> Reasoner<Boolean,
ClaimBasedTheory, ClaimArgument>
calculates claim based inherited extensions
- Author:
- Sebastian Franke
-
Constructor Summary
ConstructorDescriptionempty constructorSimpleClInheritedReasoner
(Semantics semantics) constructor for direct initialization of semantics -
Method Summary
Modifier and TypeMethodDescriptiongetModel
(ClaimBasedTheory bbase) calculates one claim set for a given frameworkgetModels
(ClaimBasedTheory bbase) calculates all claim sets for a given frameworkboolean
static void
setSemantics
(Semantics semantics) manually sets the semanticsMethods inherited from class org.tweetyproject.arg.dung.reasoner.AbstractClaimBasedReasoner
query
-
Constructor Details
-
SimpleClInheritedReasoner
constructor for direct initialization of semantics- Parameters:
semantics
- the Dung semantics
-
SimpleClInheritedReasoner
public SimpleClInheritedReasoner()empty constructor
-
-
Method Details
-
getModels
calculates all claim sets for a given framework- Specified by:
getModels
in interfaceModelProvider<ClaimArgument,
ClaimBasedTheory, ClaimSet> - Specified by:
getModels
in classAbstractClaimBasedReasoner
- Parameters:
bbase
- the Dung framework to be evaluated- Returns:
- the claim sets
-
getModel
calculates one claim set for a given framework- Specified by:
getModel
in interfaceModelProvider<ClaimArgument,
ClaimBasedTheory, ClaimSet> - Specified by:
getModel
in classAbstractClaimBasedReasoner
- Parameters:
bbase
- the Dung framework to be evaluated- Returns:
- the claim set
-
setSemantics
manually sets the semantics- Parameters:
semantics
- the Dung semantics
-
isInstalled
public boolean isInstalled()- Returns:
- if the solver is installed
-