il2.inf.map
Class MapInitializer.MapResult

Object
  extended by MapInitializer.MapResult
Enclosing class:
MapInitializer

public static class MapInitializer.MapResult
extends Object


Field Summary
 IntMap result
           
 double score
           
 
Method Summary
 String toString()
           
 
Methods inherited from class Object
equals, getClass, hashCode, notify, notifyAll, wait, wait, wait
 

Field Detail

result

public final IntMap result

score

public final double score
Method Detail

toString

public String toString()
Overrides:
toString in class Object


Copyright 2010 UCLA Automated Reasoning Group