org.activemath.omdocjdom
Interface OJCollection

All Known Implementing Classes:

DefaultCollection, DirectoryCollection

public interface OJCollection

A class representing a collection of OMDoc documents, identified with its unique-identifier (it's public-id) and in the future with it's theory-collection element.

Method Summary

String

getPublicIdentifier()

Method Detail

getPublicIdentifier

String getPublicIdentifier()