JavaScript is disabled on your browser.
Skip navigation links
Overview
Package
Use
Tree
Deprecated
Index
Search
Help
org.tweetyproject.preferences.plugin
Contents
Hide sidebar
❮
❯
Show sidebar
Description
Related Packages
Classes and Interfaces
Package org.tweetyproject.preferences.plugin
package
org.tweetyproject.preferences.plugin
Related Packages
Package
Description
org.tweetyproject.preferences
Classes
Class
Description
PreferencesPlugin
The CLI-Plugin for the Preferences-Package