org.kahina.lp
Class LogicProgrammingInstance<S extends LogicProgrammingState,G extends LogicProgrammingGUI,B extends LogicProgrammingBridge>

java.lang.Object
  org.kahina.core.KahinaInstance<S,G,B>
      org.kahina.lp.LogicProgrammingInstance<S,G,B>

All Implemented Interfaces:

KahinaListener

Direct Known Subclasses:

SICStusPrologDebuggerInstance, SWIPrologDebuggerInstance, TraleSLDInstance

public abstract class LogicProgrammingInstance<S extends LogicProgrammingState,G extends LogicProgrammingGUI,B extends LogicProgrammingBridge>
extends KahinaInstance<S,G,B>

Field Summary

Fields inherited from class org.kahina.core.KahinaInstance

bridge, control, gui, guiControl, state, steps

Constructor Summary

LogicProgrammingInstance()

Method Summary

protected void	createTreeBehavior()
abstract LogicProgrammingProfiler	getProfiler()

Methods inherited from class org.kahina.core.KahinaInstance

createBridge, createGUI, createState, dispatchBackgroundEvent, dispatchEvent, dispatchGUIEvent, fillViewRegistry, getApplicationName, getBridge, getControl, getGuiControl, getState, initializeNewSession, processEvent, start, startNewSession, startNewSessionWithoutBridge

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

LogicProgrammingInstance

public LogicProgrammingInstance()

Method Detail

getProfiler

public abstract LogicProgrammingProfiler getProfiler()

createTreeBehavior

protected void createTreeBehavior()

Specified by:

createTreeBehavior in class KahinaInstance<S extends LogicProgrammingState,G extends LogicProgrammingGUI,B extends LogicProgrammingBridge>