cz.muni.stanse.checker.CheckerProgressMonitor Interface Reference

Public Member Functions
void	write (final String s)

Member Function Documentation

void cz.muni.stanse.checker.CheckerProgressMonitor.write

(

final String

s

)

---

The documentation for this interface was generated from the following file:

• src/cz/muni/stanse/checker/CheckerProgressMonitor.java