il2.inf.structure
Class MinSizeOrderer

Object
  extended by ConnectivityOrderer
      extended by MinSizeOrderer
All Implemented Interfaces:
Orderer

public class MinSizeOrderer
extends ConnectivityOrderer


Constructor Summary
MinSizeOrderer(Domain d)
           
 
Method Summary
 
Methods inherited from class ConnectivityOrderer
add, addAll, removeBest
 
Methods inherited from class Object
equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

MinSizeOrderer

public MinSizeOrderer(Domain d)


Copyright 2010 UCLA Automated Reasoning Group