|
Hilbert II - Version 0.03.01 | ||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
Header of a qedeq file. The header specifies such things as the location of the file, the title and abstract of that module, imports and exports.
Method Summary | |
AuthorList |
getAuthorList()
Get author list. |
String |
getEmail()
Get email address of module administrator. |
ImportList |
getImportList()
Get list of needed modules. |
Specification |
getSpecification()
Get module specification. |
LatexList |
getSummary()
Get module summary. |
LatexList |
getTitle()
Get module title. |
UsedByList |
getUsedByList()
Get list of modules, that use this module. |
Method Detail |
public Specification getSpecification()
public LatexList getTitle()
public LatexList getSummary()
public AuthorList getAuthorList()
public ImportList getImportList()
public UsedByList getUsedByList()
public String getEmail()
|
Hilbert II - Version 0.03.01 | ||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
©left GNU General Public Licence All Rights Reserved. |