: Class PredicateMaker

Class

Tree

Deprecated

Index

Help

PREV CLASS NEXT CLASS

FRAMES NO FRAMES

SUMMARY: INNER | FIELD | CONSTR | METHOD

DETAIL: FIELD | CONSTR | METHOD

Class PredicateMaker

java.lang.Object
  |
  +--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.

Since:

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

PredicateMaker

public PredicateMaker(MintermList m,
                      int mintermSize)

Creates new PredicateMaker

Method Detail

ComputePredicate

public MintermList ComputePredicate()