SandMark version 2.1


sandmark.watermark.venkie
Interface BasicBlockMarker

All Known Implementing Classes:
StaticWriteParityMarker

public interface BasicBlockMarker


Method Summary
 void mark(BasicBlock b)
           
 void unmark(BasicBlock b)
           
 

Method Detail

mark

public void mark(BasicBlock b)

unmark

public void unmark(BasicBlock b)

SandMark version 2.1

Wed Jul 3 17:27:43 MST 2002