org.kahina.tralesld
Class TraleSLDState

java.lang.Object
  org.kahina.core.KahinaState
      org.kahina.lp.LogicProgrammingState
          org.kahina.tralesld.TraleSLDState

All Implemented Interfaces:

Serializable, KahinaListener

public class TraleSLDState
extends LogicProgrammingState

See Also:

Serialized Form

Field Summary

Fields inherited from class org.kahina.lp.LogicProgrammingState

creepPoints, failPoints, primaryBreakpoints, primaryWarnPoints, profile, secondaryBreakpoints, secondaryWarnPoints, skipPoints

Fields inherited from class org.kahina.core.KahinaState

consoleLines, consoleMessages, control, matchCountByBreakpoint, warnThresholdByBreakpoint

Constructor Summary

TraleSLDState(KahinaController control, boolean withAuxiliaryInstance)

Method Summary

TraleSLDStep	get(int id)
KahinaChart	getChart()
int	getEdgeForNode(int nodeID)
int	getNodeForEdge(int edgeID)
TraleSLDSignature	getSignature()
AuxiliaryTraleInstance	getTrale()
void	initialize()
void	linkEdgeToNode(int edgeID, int nodeID)

Methods inherited from class org.kahina.lp.LogicProgrammingState

breakpointConsoleMessage, consoleMessage, consoleMessage, exceptionConsoleMessage, getConsoleLineRefForStep, getCreepPoints, getFailPoints, getFullProfile, getHiddenSteps, getLinkAnchors, getLinkTarget, getPrimaryBreakpoints, getPrimaryWarnPoints, getSecondaryBreakpoints, getSecondaryStepTree, getSecondaryWarnPoints, getSkipPoints, getStepTree, hideStep, linkNodes

Methods inherited from class org.kahina.core.KahinaState

consoleMessage, getConsoleMessages, getLineReferencesForStep, getMatchCountByBreakpoint, getSelectedStepID, getStepCount, getSteps, getWarnThresholdByBreakpoint, loadSteps, nextStepID, processEvent, retrieve, store

Methods inherited from class java.lang.Object

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

Constructor Detail

TraleSLDState

public TraleSLDState(KahinaController control,
                     boolean withAuxiliaryInstance)

Method Detail

initialize

public void initialize()

Overrides:

initialize in class LogicProgrammingState

getChart

public KahinaChart getChart()

getSignature

public TraleSLDSignature getSignature()

getTrale

public AuxiliaryTraleInstance getTrale()

linkEdgeToNode

public void linkEdgeToNode(int edgeID,
                           int nodeID)

getNodeForEdge

public int getNodeForEdge(int edgeID)

getEdgeForNode

public int getEdgeForNode(int nodeID)

get

public TraleSLDStep get(int id)

Overrides:

get in class LogicProgrammingState