org.kahina.lp

Class LogicProgrammingStep

java.lang.Object

org.kahina.core.data.KahinaObject

org.kahina.core.KahinaStep

org.kahina.lp.LogicProgrammingStep

All Implemented Interfaces:

java.io.Serializable

Direct Known Subclasses:

SICStusPrologStep, SWIPrologStep, TraleSLDStep

public class LogicProgrammingStep
extends KahinaStep

See Also:

Serialized Form

Field Summary

Fields

Modifier and Type	Field and Description
KahinaSourceCodeLocation	codeLocation
int	externalID
java.lang.String	goalDesc
int	redone

Fields inherited from class org.kahina.core.data.KahinaObject

needsUpdate

Constructor Summary

Constructors

Constructor and Description
LogicProgrammingStep()
LogicProgrammingStep(LogicProgrammingStep original)

Method Summary

Methods

Modifier and Type	Method and Description
LogicProgrammingStep	copy()
int	getExternalID()
java.lang.String	getGoalDesc()
int	getRedone()
KahinaSourceCodeLocation	getSourceCodeLocation()
void	incrementRedone()
boolean	isRedone()
void	setExternalID(int externalID)
void	setGoalDesc(java.lang.String goalDesc)
void	setSourceCodeLocation(KahinaSourceCodeLocation codeLocation)
java.lang.String	toString()

Methods inherited from class org.kahina.core.data.KahinaObject

needsUpdate, requireUpdate

Methods inherited from class java.lang.Object

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

Field Detail

codeLocation

public KahinaSourceCodeLocation codeLocation

goalDesc

public java.lang.String goalDesc

externalID

public int externalID

redone

public int redone

Constructor Detail

LogicProgrammingStep

public LogicProgrammingStep()

LogicProgrammingStep

public LogicProgrammingStep(LogicProgrammingStep original)

Method Detail

copy

public LogicProgrammingStep copy()

getGoalDesc

public java.lang.String getGoalDesc()

setGoalDesc

public void setGoalDesc(java.lang.String goalDesc)

getExternalID

public int getExternalID()

setExternalID

public void setExternalID(int externalID)

getRedone

public int getRedone()

incrementRedone

public void incrementRedone()

isRedone

public boolean isRedone()

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object

getSourceCodeLocation

public KahinaSourceCodeLocation getSourceCodeLocation()

setSourceCodeLocation

public void setSourceCodeLocation(KahinaSourceCodeLocation codeLocation)