il2.inf.structure
Interface Orderer

All Known Implementing Classes:
ConnectivityOrderer, MinFillOrderer, MinSizeOrderer

public interface Orderer


Method Summary
 void add(IntSet element)
           
 void addAll(Collection elements)
           
 int removeBest()
           
 

Method Detail

removeBest

int removeBest()

add

void add(IntSet element)

addAll

void addAll(Collection elements)


Copyright 2010 UCLA Automated Reasoning Group