|
TPTP 4.2.0 Platform Project Public API Specification |
||||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | ||||||||||
java.lang.Objectorg.eclipse.hyades.loaders.trace.GenerateConstants
| Constructor Summary | |
|---|---|
GenerateConstants()
|
|
| Method Summary | |
|---|---|
static void |
main(java.lang.String[] args)
|
protected void |
setArgs(java.lang.String[] args)
|
| Methods inherited from class java.lang.Object |
|---|
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
| Constructor Detail |
public GenerateConstants()
| Method Detail |
public static void main(java.lang.String[] args)
protected void setArgs(java.lang.String[] args)
|
TPTP 4.2.0 Platform Project Public API Specification |
||||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | ||||||||||