TPTP 4.6.0 Platform Project
Public API Specification

Package org.eclipse.hyades.logc.correlators

Class Summary
RecordList RecordList is a wrapper for an EList which containes records of a specific log.
 


TPTP 4.6.0 Platform Project
Public API Specification