il2.inf.map
Class MapInitializer

Object
  extended by MapInitializer

public class MapInitializer
extends Object


Nested Class Summary
static class MapInitializer.MapResult
           
 
Method Summary
static MapInitializer.MapResult initial(Table[] cpts, IntSet mapVars, IntList orderHint)
           
 
Methods inherited from class Object
equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Method Detail

initial

public static MapInitializer.MapResult initial(Table[] cpts,
                                               IntSet mapVars,
                                               IntList orderHint)


Copyright 2010 UCLA Automated Reasoning Group