Package il2.inf.structure.minfill2

Class Summary
EliminationOrderEngine A base class for algorithms that produce an elimination order.
IntPriorityQueue A priority queue implemented with a heap where elements are ints in [0,N-1] for some N, where keys are doubles, where lower keys are higher priority, and where the queue may not contain duplicate items.
MinfillEoe An EliminationOrderEngine that uses minfill.
PriorityQueue A base class for priority queues.
Util Static utility routines.
 



Copyright 2010 UCLA Automated Reasoning Group