edu.toronto.cs.proof2
Class ProofStepFactory

java.lang.Object
  extended by edu.toronto.cs.proof2.ProofStepFactory

public class ProofStepFactory
extends java.lang.Object


Constructor Summary
ProofStepFactory()
           
 
Method Summary
static void dynamicTree(ProofStep parent, ProofStep children)
           
static AlgebraValue[] getStateAsArray(Formula f)
           
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

ProofStepFactory

public ProofStepFactory()
Method Detail

getStateAsArray

public static AlgebraValue[] getStateAsArray(Formula f)

dynamicTree

public static void dynamicTree(ProofStep parent,
                               ProofStep children)