Class PrimeImplicants


public class PrimeImplicants
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
          Creates new PrimeImplicants
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail


public PrimeImplicants()
Creates new PrimeImplicants