il2.inf.map
Class MapSearch.MapInfo

Object
  extended by 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.


Field Summary
 boolean finished
           
 long initDurationMillisElapsed
           
 long initDurationMillisProfiled
           
 long numSearchNodesVisited
           
 double probOfEvidence
           
 long pruneDurationMillisElapsed
           
 long pruneDurationMillisProfiled
           
 ArrayList results
           
 long searchDurationMillisElapsed
           
 long searchDurationMillisProfiled
           
 
Constructor Summary
MapSearch.MapInfo(ArrayList r, long iElapsed, long iProfiled, long sElapsed, long sProfiled, boolean f, double pe, long numSearchNodesVisited)
           
 
Method Summary
 
Methods inherited from class Object
equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Field Detail

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
Constructor Detail

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