Class PredicateMaker


public class PredicateMaker
extends java.lang.Object

This class models the reachability graph of a program. The reachability graph is a directed graph that contains all the states of the fault-span of a program. This class is the root of the abstract class hierarchy in the Bridge design pattern.


Constructor Summary
PredicateMaker(MintermList m, int mintermSize)
          Creates new PredicateMaker
Method Summary
 MintermList ComputePredicate()
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail


public PredicateMaker(MintermList m,
                      int mintermSize)
Creates new PredicateMaker
Method Detail


public MintermList ComputePredicate()