il2.inf.map
Class MapSearch.MapResult

Object
  extended by MapSearch.MapResult
Enclosing class:
MapSearch

public static class MapSearch.MapResult
extends Object


Field Summary
 long foundTime
           
 IntMap result
           
 double score
           
 
Method Summary
 Map getConvertedInstatiation()
           
 Map getConvertedInstatiation(Factorizer fact, Converter verter)
           
 String toString()
           
 
Methods inherited from class Object
equals, getClass, hashCode, notify, notifyAll, wait, wait, wait
 

Field Detail

result

public IntMap result

score

public final double score

foundTime

public final long foundTime
Method Detail

getConvertedInstatiation

public Map getConvertedInstatiation(Factorizer fact,
                                    Converter verter)

getConvertedInstatiation

public Map getConvertedInstatiation()

toString

public String toString()
Overrides:
toString in class Object


Copyright 2010 UCLA Automated Reasoning Group