public interface PNRepResult extends java.util.Set<SyncReplayResult>
Modifier and Type | Field and Description |
---|---|
static java.lang.String |
BEHAVIORAPPROPRIATENESS |
static java.lang.String |
MAXFITNESSCOST |
static java.lang.String |
MAXMOVELOGCOST |
static java.lang.String |
MOVELOGFITNESS |
static java.lang.String |
MOVEMODELFITNESS |
static java.lang.String |
NUMSTATEGENERATED |
static java.lang.String |
ORIGTRACELENGTH |
static java.lang.String |
QUEUEDSTATE |
static java.lang.String |
RAWFITNESSCOST |
static java.lang.String |
TIME |
static java.lang.String |
TRACEFITNESS
reference to information in SyncReplayResult (and info, if it is cached)
|
static java.lang.String |
TRAVERSEDARCS |
static java.lang.String |
VISTITLE |
Modifier and Type | Method and Description |
---|---|
void |
addInfo(java.lang.String property,
java.lang.String valString)
Add information
|
java.util.Map<java.lang.String,java.lang.Object> |
getInfo() |
void |
setInfo(java.util.Map<java.lang.String,java.lang.Object> info) |
static final java.lang.String TRACEFITNESS
static final java.lang.String BEHAVIORAPPROPRIATENESS
static final java.lang.String MOVELOGFITNESS
static final java.lang.String MOVEMODELFITNESS
static final java.lang.String RAWFITNESSCOST
static final java.lang.String MAXFITNESSCOST
static final java.lang.String MAXMOVELOGCOST
static final java.lang.String NUMSTATEGENERATED
static final java.lang.String QUEUEDSTATE
static final java.lang.String TIME
static final java.lang.String ORIGTRACELENGTH
static final java.lang.String VISTITLE
static final java.lang.String TRAVERSEDARCS
void addInfo(java.lang.String property, java.lang.String valString)
property
- valString
- java.util.Map<java.lang.String,java.lang.Object> getInfo()
void setInfo(java.util.Map<java.lang.String,java.lang.Object> info)
info
- the info to set