Class Minterm

java.lang.Object
  |
  +--Minterm

public class Minterm
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
Minterm(java.lang.String[] list, int length, int[] dom)
          Creates new Minterm
 
Method Summary
 int[] getDomSize()
           
 boolean getMatch()
           
 int getSize()
           
 void print()
           
 void setMatch(boolean b)
           
 java.lang.String toString()
           
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
 

Constructor Detail

Minterm

public Minterm(java.lang.String[] list,
               int length,
               int[] dom)
Creates new Minterm
Method Detail

getSize

public int getSize()

getMatch

public boolean getMatch()

getDomSize

public int[] getDomSize()

setMatch

public void setMatch(boolean b)

print

public void print()

toString

public java.lang.String toString()
Overrides:
toString in class java.lang.Object