Package owl.translations.modules
-
Class Summary Class Description LTL2DAModule LTL2DGRAModule LTL2DPAModule LTL2DRAModule LTL2LDBAModule LTL2LDGBAModule LTL2NAModule LTL2NBAModule LTL2NGBAModule LTL2NormalFormModule
| Class | Description |
|---|---|
| LTL2DAModule | |
| LTL2DGRAModule | |
| LTL2DPAModule | |
| LTL2DRAModule | |
| LTL2LDBAModule | |
| LTL2LDGBAModule | |
| LTL2NAModule | |
| LTL2NBAModule | |
| LTL2NGBAModule | |
| LTL2NormalFormModule |