org.kahina.lp
Class LogicProgrammingStep

java.lang.Object
  extended by org.kahina.core.data.KahinaObject
      extended by org.kahina.core.KahinaStep
          extended by org.kahina.lp.LogicProgrammingStep
All Implemented Interfaces:
Serializable
Direct Known Subclasses:
SICStusPrologStep, SWIPrologStep, TraleSLDStep

public class LogicProgrammingStep
extends KahinaStep

See Also:
Serialized Form

Field Summary
 KahinaSourceCodeLocation codeLocation
           
 int externalID
           
 String goalDesc
           
 int redone
           
 
Constructor Summary
LogicProgrammingStep()
           
LogicProgrammingStep(LogicProgrammingStep original)
           
 
Method Summary
 LogicProgrammingStep copy()
           
 int getExternalID()
           
 String getGoalDesc()
           
 int getRedone()
           
 KahinaSourceCodeLocation getSourceCodeLocation()
           
 void incrementRedone()
           
 boolean isRedone()
           
 void setExternalID(int externalID)
           
 void setGoalDesc(String goalDesc)
           
 void setSourceCodeLocation(KahinaSourceCodeLocation codeLocation)
           
 String toString()
           
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
 

Field Detail

goalDesc

public String goalDesc

externalID

public int externalID

codeLocation

public KahinaSourceCodeLocation codeLocation

redone

public int redone
Constructor Detail

LogicProgrammingStep

public LogicProgrammingStep()

LogicProgrammingStep

public LogicProgrammingStep(LogicProgrammingStep original)
Method Detail

copy

public LogicProgrammingStep copy()

getGoalDesc

public String getGoalDesc()

setGoalDesc

public void setGoalDesc(String goalDesc)

getExternalID

public int getExternalID()

setExternalID

public void setExternalID(int externalID)

getSourceCodeLocation

public KahinaSourceCodeLocation getSourceCodeLocation()

setSourceCodeLocation

public void setSourceCodeLocation(KahinaSourceCodeLocation codeLocation)

getRedone

public int getRedone()

incrementRedone

public void incrementRedone()

isRedone

public boolean isRedone()

toString

public String toString()
Overrides:
toString in class Object