|
||||||||||
| PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES | |||||||||
| Class Summary | |
|---|---|
| JinniPrologServer | This is the main class to start up the JinniProlog Server |
| JinniPrologServerParameters | |
| JinniRmiImpl | This is the implementation of the IJinniEngine for the JinnIde server. |
| JinniRmiShutdownClient | This serves to directly shutdown the JinnIde RMI server for test reasons. |
| JinniRmiTestClient | This is a test client that queries the JinnIde server for testing its reachability and correct functioning |
|
||||||||||
| PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES | |||||||||