Class DungReasonerCalleeFactory
java.lang.Object
org.tweetyproject.web.services.dung.DungReasonerCalleeFactory
The DungReasonerCalleeFactory class is responsible for creating instances of Callee
based on the specified Command, AbstractExtensionReasoner, and DungTheory parameters.
It also defines an enumeration of commands with associated IDs and labels.
-
Nested Class Summary
Modifier and TypeClassDescriptionstatic enum
Enumeration of commands supported by the factory, each with a unique ID and label. -
Constructor Summary
-
Method Summary
Modifier and TypeMethodDescriptionstatic Callee
getCallee
(DungReasonerCalleeFactory.Command cmd, AbstractExtensionReasoner reasoner, DungTheory bbase) Creates and returns a Callee instance based on the provided Command, AbstractExtensionReasoner, and DungTheory parameters.static DungReasonerCalleeFactory.Command[]
Retrieves an array of all available Command enums.
-
Constructor Details
-
DungReasonerCalleeFactory
public DungReasonerCalleeFactory()
-
-
Method Details
-
getCommands
Retrieves an array of all available Command enums.- Returns:
- An array of Command enums
-
getCallee
public static Callee getCallee(DungReasonerCalleeFactory.Command cmd, AbstractExtensionReasoner reasoner, DungTheory bbase) Creates and returns a Callee instance based on the provided Command, AbstractExtensionReasoner, and DungTheory parameters.- Parameters:
cmd
- The command to be executedreasoner
- The AbstractExtensionReasoner to be usedbbase
- The DungTheory to be processed- Returns:
- A Callee instance corresponding to the specified command
- Throws:
RuntimeException
- If the specified command is not found
-