il2.inf.structure
Class ConstrainedMinSizeOrderGenerator

Object
  extended by ConstrainedMinSizeOrderGenerator

public class ConstrainedMinSizeOrderGenerator
extends Object


Constructor Summary
ConstrainedMinSizeOrderGenerator(Graph g, Domain d, IntSet eliminateLast)
           
 
Method Summary
 
Methods inherited from class Object
equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

ConstrainedMinSizeOrderGenerator

public ConstrainedMinSizeOrderGenerator(Graph g,
                                        Domain d,
                                        IntSet eliminateLast)


Copyright 2010 UCLA Automated Reasoning Group