TPTP 4.4.0 Platform Project
Public API Specification

Package org.eclipse.tptp.platform.analysis.core

Class Summary
AnalysisConstants Common constants used by the analysis process
AnalysisCorePlugin The main plugin class to be used in the desktop.
AnalysisUtil This utility class contains several useful methods for routine analysis functionality which can be used by any user code
CoreMessages Core message
 


TPTP 4.4.0 Platform Project
Public API Specification