il2.inf.structure
Class DGraphs

Object
  extended by DGraphs

public class DGraphs
extends Object


Constructor Summary
DGraphs()
           
 
Method Summary
static DGraph create(Index[] leaves, IntList eliminationOrder)
           
static DGraph create(Index[] leaves, int reps, Random seed)
           
 
Methods inherited from class Object
equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

DGraphs

public DGraphs()
Method Detail

create

public static DGraph create(Index[] leaves,
                            int reps,
                            Random seed)

create

public static DGraph create(Index[] leaves,
                            IntList eliminationOrder)


Copyright 2010 UCLA Automated Reasoning Group