|
TPTP 4.2.0 Platform Project Internal API Specification |
||||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | ||||||||||
Provides a General global interface for all interfaces and classes in the tptp charting and reporting component.
Used as a "tag" interface usefull for parsers (cf. org.eclipse.tptp.platform.report.tools#DParser)
|
TPTP 4.2.0 Platform Project Internal API Specification |
||||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | ||||||||||