il2.inf.structure
Class ConnectivityOrderer

Object
  extended by ConnectivityOrderer
All Implemented Interfaces:
Orderer
Direct Known Subclasses:
MinFillOrderer, MinSizeOrderer

public abstract class ConnectivityOrderer
extends Object
implements Orderer


Constructor Summary
ConnectivityOrderer(int size)
           
 
Method Summary
 void add(IntSet element)
           
 void addAll(Collection elements)
           
 int removeBest()
           
 
Methods inherited from class Object
equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

ConnectivityOrderer

public ConnectivityOrderer(int size)
Method Detail

removeBest

public int removeBest()
Specified by:
removeBest in interface Orderer

add

public void add(IntSet element)
Specified by:
add in interface Orderer

addAll

public void addAll(Collection elements)
Specified by:
addAll in interface Orderer


Copyright 2010 UCLA Automated Reasoning Group