edu.toronto.cs.proof
Class ProofStrategyCatalog

java.lang.Object
  extended by edu.toronto.cs.proof.ProofStrategyCatalog

public abstract class ProofStrategyCatalog
extends java.lang.Object


Constructor Summary
ProofStrategyCatalog()
           
 
Method Summary
static ProofStrategy getStrategy(java.lang.String tag)
           
static java.util.Iterator iterator(CTLNode type)
           
static void registerStrategy(java.lang.String tag, IAlgebra alg, java.lang.Class clazz)
           
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

ProofStrategyCatalog

public ProofStrategyCatalog()
Method Detail

registerStrategy

public static void registerStrategy(java.lang.String tag,
                                    IAlgebra alg,
                                    java.lang.Class clazz)

getStrategy

public static ProofStrategy getStrategy(java.lang.String tag)

iterator

public static java.util.Iterator iterator(CTLNode type)