Package | Description |
---|---|
net.sf.tweety.logics.fol.plugin | |
net.sf.tweety.logics.pl.plugin | |
net.sf.tweety.logics.rpcl.plugin | |
net.sf.tweety.preferences.plugin |
Modifier and Type | Class and Description |
---|---|
class |
FirstOrderLogicPlugin
This class models the plugin for first order logics used in the tweety cli
Note: Currently FOL-files MUST BE named after the pattern "*.fologic"
Very early state, not finished or debugged yet.
|
Modifier and Type | Class and Description |
---|---|
class |
PropositionalLogicPlugin
This class provides the JSPF-Plugin for the propositional logic library
Currently plugin is loadable but not executed
|
Modifier and Type | Class and Description |
---|---|
class |
RPCLPlugin
relational probabilistic conditional logic plugin for the tweety cli
skeleton
|
Modifier and Type | Class and Description |
---|---|
class |
PreferencesPlugin
The CLI-Plugin for the Preferences-Package
|