public class TraleSLDStep extends LogicProgrammingStep
Modifier and Type | Field and Description |
---|---|
TraleSLDVariableBindingSet |
endBindings |
TraleSLDFS |
endFeatStruct |
TraleSLDVariableBindingSet |
startBindings |
TraleSLDFS |
startFeatStruct |
codeLocation, externalID, goalDesc, redone
needsUpdate
Constructor and Description |
---|
TraleSLDStep() |
Modifier and Type | Method and Description |
---|---|
TraleSLDStep |
copy() |
getExternalID, getGoalDesc, getRedone, getSourceCodeLocation, incrementRedone, isRedone, setExternalID, setGoalDesc, setSourceCodeLocation, toString
needsUpdate, requireUpdate
public TraleSLDFS startFeatStruct
public TraleSLDFS endFeatStruct
public TraleSLDVariableBindingSet startBindings
public TraleSLDVariableBindingSet endBindings
public TraleSLDStep copy()
copy
in class LogicProgrammingStep