public interface DRecord
extends nl.tue.astar.Record
PRecord
, but with added data costs and storing the current
variable assignment.Modifier and Type | Interface and Description |
---|---|
static class |
DRecord.DataView |
Modifier and Type | Method and Description |
---|---|
int |
getCost() |
int |
getDataCost() |
int |
getDataState() |
DataState |
getDataState(DataStateStore store) |
int |
getExecutedEvents() |
int |
getHashCode() |
DRecord[] |
getHistory() |
int |
getNextEvent(nl.tue.astar.Delegate<? extends nl.tue.astar.Head,? extends nl.tue.astar.Tail> delegate,
nl.tue.astar.Trace trace) |
DRecord |
getNextRecord(nl.tue.astar.Delegate<? extends nl.tue.astar.Head,? extends nl.tue.astar.Tail> d,
nl.tue.astar.Trace trace,
nl.tue.astar.Head newHead,
long state,
int modelMove,
int movedEvent,
int activity)
creates a new record, based on the operations m and l applied to the old
head.
|
DRecord |
getPredecessor()
returns the predecessor record.
|
int |
getTotalIntegerCost() |
void |
setDataCost(int dataCost) |
void |
setDataState(int dataState) |
void |
setHashCode(int hashCode) |
DRecord getNextRecord(nl.tue.astar.Delegate<? extends nl.tue.astar.Head,? extends nl.tue.astar.Tail> d, nl.tue.astar.Trace trace, nl.tue.astar.Head newHead, long state, int modelMove, int movedEvent, int activity)
nl.tue.astar.Record
getNextRecord
in interface nl.tue.astar.Record
d
- the delegatetrace
- TODOmodelMove
- the index of the transition that needs to be fired (or
Move.BOTTOM if none)activity
- TODODRecord getPredecessor()
nl.tue.astar.Record
getPredecessor
in interface nl.tue.astar.Record
int getNextEvent(nl.tue.astar.Delegate<? extends nl.tue.astar.Head,? extends nl.tue.astar.Tail> delegate, nl.tue.astar.Trace trace)
int getExecutedEvents()
int getTotalIntegerCost()
int getCost()
int getDataCost()
void setDataCost(int dataCost)
int getDataState()
void setDataState(int dataState)
DataState getDataState(DataStateStore store)
DRecord[] getHistory()
void setHashCode(int hashCode)
int getHashCode()