Package pipe.io

Class Summary
RGFileHeader  
StateRecord  
TransitionRecord  
 

Exception Summary
AbortDotFileGenerationException  
ImmediateAbortException  
IncorrectFileFormatException