Class and Description |
---|
TweetyPlugin
This class provides the base for each plugin's functionality
|
Class and Description |
---|
AbstractTweetyPlugin
This abstract class implements the TweetyPlugin interface and provides a base
for plugin implementations in each project
|
PluginOutput
This class provides the output for each plugin to be used in the CLI.
|
TweetyPlugin
This class provides the base for each plugin's functionality
|
Class and Description |
---|
AbstractTweetyPlugin
This abstract class implements the TweetyPlugin interface and provides a base
for plugin implementations in each project
|
PluginOutput
This class provides the output for each plugin to be used in the CLI.
|
TweetyPlugin
This class provides the base for each plugin's functionality
|
Class and Description |
---|
AbstractTweetyPlugin
This abstract class implements the TweetyPlugin interface and provides a base
for plugin implementations in each project
|
PluginOutput
This class provides the output for each plugin to be used in the CLI.
|
TweetyPlugin
This class provides the base for each plugin's functionality
|
Class and Description |
---|
OutputField
This class models single fields used for the PluginOutput
Each field contains its description and its value, e.g.:
Query:
a + b || !a + !b
where "Query:" is the description and "a + b || !a + !b" is the value.
|
PluginOutput
This class provides the output for each plugin to be used in the CLI.
|
TweetyPlugin
This class provides the base for each plugin's functionality
|
Class and Description |
---|
AbstractTweetyPlugin
This abstract class implements the TweetyPlugin interface and provides a base
for plugin implementations in each project
|
PluginOutput
This class provides the output for each plugin to be used in the CLI.
|
TweetyPlugin
This class provides the base for each plugin's functionality
|