Package edu.rice.cs.cunit.record

Interface Summary
IThreadInfo Interface for a class with thread information.