| 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 
 |