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