il2.inf.map
Class MapSearch.MapResult
Object
MapSearch.MapResult
- Enclosing class:
- MapSearch
public static class MapSearch.MapResult
- extends Object
result
public IntMap result
score
public final double score
foundTime
public final long foundTime
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