il2.inf.structure
Class EliminationOrders.Record

Object
  extended by EliminationOrders.Record
Enclosing class:
EliminationOrders

public static class EliminationOrders.Record
extends Object


Field Summary
 IntSet[] clusters
           
 IntList order
           
 double size
           
 
Constructor Summary
EliminationOrders.Record(IntList o, double s, IntSet[] c)
           
 
Method Summary
 
Methods inherited from class Object
equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Field Detail

order

public final IntList order

size

public final double size

clusters

public final IntSet[] clusters
Constructor Detail

EliminationOrders.Record

public EliminationOrders.Record(IntList o,
                                double s,
                                IntSet[] c)


Copyright 2010 UCLA Automated Reasoning Group