org.kahina.tralesld

Class TraleSLDState

java.lang.Object

org.kahina.core.KahinaState

org.kahina.lp.LogicProgrammingState

org.kahina.tralesld.TraleSLDState

All Implemented Interfaces:

java.io.Serializable, KahinaListener

public class TraleSLDState
extends LogicProgrammingState

See Also:

Serialized Form

Field Summary

Fields inherited from class org.kahina.lp.LogicProgrammingState

profile

Fields inherited from class org.kahina.core.KahinaState

consoleLines, consoleMessages, kahina, matchCountByBreakpoint, warnThresholdByBreakpoint

Constructor Summary

Constructors

Constructor and Description
TraleSLDState(TraleSLDInstance kahina, boolean withAuxiliaryInstance)

Method Summary

Methods

Modifier and Type	Method and Description
TraleSLDStep	get(int id) Shortcut for quick access to step data; should be overriden in the obvios way for custom step types.
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

addConsoleLineRefForStep, breakpointConsoleMessage, consoleMessage, consoleMessage, exceptionConsoleMessage, getConsoleLineRefForStep, getFullProfile, getHiddenSteps, getLinkAnchors, getLinkTarget, getSecondaryStepTree, getStepTree, hideStep, linkNodes

Methods inherited from class org.kahina.core.KahinaState

consoleMessage, getConsoleMessages, getLineReferencesForStep, getMatchCountByBreakpoint, getSelectedStepID, getStepCount, getSteps, getWarnThresholdByBreakpoint, loadSteps, nextStepID, processEvent, processSelection, 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(TraleSLDInstance kahina,
             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)

Description copied from class: KahinaState

Shortcut for quick access to step data; should be overriden in the obvios way for custom step types.

Overrides:

get in class LogicProgrammingState

Returns: