Class QuineMac

java.lang.Object
  |
  +--QuineMac

public class QuineMac

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:

Method Summary

Minterm	combine(Minterm m1, Minterm m2, int pos)
CompareResult	compare(Minterm min1, Minterm min2)
MintermList	computeList(MintermList m, boolean matched)
MintermList	exec()
Minterm	getMatchList()
java.lang.String	MinToString(Minterm m)

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Method Detail

getMatchList

public Minterm getMatchList()

combine

public Minterm combine(Minterm m1,
                       Minterm m2,
                       int pos)

compare

public CompareResult compare(Minterm min1,
                             Minterm min2)

MinToString

public java.lang.String MinToString(Minterm m)

computeList

public MintermList computeList(MintermList m,
                               boolean matched)

exec

public MintermList exec()