TPTP.cs File Reference

Go to the source code of this file.

Classes
class	TraceLab.Components.DevelopmentKit.Preprocessors.ExecutionTraces.TPTP
	Responsible for analyzing JPDA-formatted execution tracfes More...

Namespaces
package	TraceLab.Components.DevelopmentKit.Preprocessors.ExecutionTraces

Constant Groups
package	TraceLab.Components.DevelopmentKit.Preprocessors.ExecutionTraces