Overview  Package   Class  Use  Tree  Deprecated  Index  Help 
 PREV CLASS   NEXT CLASS FRAMES    NO FRAMES    
SUMMARY: NESTED | FIELD | CONSTR | METHOD DETAIL: FIELD | CONSTR | METHOD

org.activemath.omdocjdom.slumb
Interface TheoryCollection

All Known Implementing Classes:
IndexedCollectionStatus
public interface TheoryCollection

Simple interface to provide Theory objects.

Field Summary
static String NO_THEORY_NAME
           
 
Method Summary
 boolean containsId(ID id)
           
 Theory getTheoryForId(ID id)
           
 

Field Detail

NO_THEORY_NAME

static final String NO_THEORY_NAME
Method Detail

getTheoryForId

Theory getTheoryForId(ID id)

containsId

boolean containsId(ID id)
Overview  Package   Class  Use  Tree  Deprecated  Index  Help 
 PREV CLASS   NEXT CLASS FRAMES    NO FRAMES    
SUMMARY: NESTED | FIELD | CONSTR | METHOD DETAIL: FIELD | CONSTR | METHOD