Package tools.jinnide

Interface Summary
IJinniEngine This is the interface for a Jinni Engine.
 

Class Summary
FormatterJinnIdeTestSimple This class allows logging the statements in a somewhat nicer than Sun's SimpleFormatter and more Loq4J like output style
JinniEngine Implements basic JinniEngine interface methods that are common to all the various engine flavours such as JinniPureEngine and JinniPrologEngine
TextAreaOutputStream  
 

Enum Summary
IJinniEngine.EngineState  
 

Exception Summary
JinniEngineException a special exception thrown by the methods of any implementation of IJinniEngine