il2.inf.mini
Class MiniTree

Object
  extended by MiniTree

public class MiniTree
extends Object


Constructor Summary
MiniTree(Table[] baseTables, int reps, Random seed, double widthBound)
           
 
Method Summary
 int[] dfsLeafOrder()
           
 Table getLeafDerivative(int leaf)
           
 Table getLeafValue(int leaf)
           
 double getValue()
           
 boolean isExact()
           
 void valueChanged(int leaf)
           
 
Methods inherited from class Object
equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

MiniTree

public MiniTree(Table[] baseTables,
                int reps,
                Random seed,
                double widthBound)
Method Detail

getValue

public double getValue()

getLeafDerivative

public Table getLeafDerivative(int leaf)

getLeafValue

public Table getLeafValue(int leaf)

isExact

public boolean isExact()

valueChanged

public void valueChanged(int leaf)

dfsLeafOrder

public int[] dfsLeafOrder()


Copyright 2010 UCLA Automated Reasoning Group