il2.inf.map
Class MapSearch.MapInfo
Object
MapSearch.MapInfo
- Enclosing class:
- MapSearch
public static class MapSearch.MapInfo
- extends Object
2004-09-28: Changed result of map query from array list of map results
to this object.
Constructor Summary |
MapSearch.MapInfo(ArrayList r,
long iElapsed,
long iProfiled,
long sElapsed,
long sProfiled,
boolean f,
double pe,
long numSearchNodesVisited)
|
results
public ArrayList results
pruneDurationMillisElapsed
public long pruneDurationMillisElapsed
pruneDurationMillisProfiled
public long pruneDurationMillisProfiled
initDurationMillisElapsed
public long initDurationMillisElapsed
initDurationMillisProfiled
public long initDurationMillisProfiled
searchDurationMillisElapsed
public long searchDurationMillisElapsed
searchDurationMillisProfiled
public long searchDurationMillisProfiled
finished
public boolean finished
probOfEvidence
public double probOfEvidence
numSearchNodesVisited
public long numSearchNodesVisited
MapSearch.MapInfo
public MapSearch.MapInfo(ArrayList r,
long iElapsed,
long iProfiled,
long sElapsed,
long sProfiled,
boolean f,
double pe,
long numSearchNodesVisited)
Copyright 2010 UCLA Automated Reasoning Group