package concepts
- Alphabetic
- Public
- All
Type Members
-
class
ConceptServer extends ServerExtension
Created by raupi on 11.09.16.
-
abstract
class
WebExtractor extends AnyRef
TODO FR@DM this entire class is awful and must be cleaned up in order to remain here.
TODO FR@DM this entire class is awful and must be cleaned up in order to remain here.
- Any is only allowed when you actually expect anything
- Using Either is generally indicative of badly-designed interfaces
- All exceptions thrown by MMT API must subclass api.Error.
- Retrieving children of XML elements is much simpler. Use \\ to find non-direct children. id attributes are globally unique - it's unnecessary and less robust to chain id-based retrievals
Value Members
- object EncyclopediaOfMathExtractor extends WebExtractor
- object NLabExtractor extends WebExtractor
- object PlanetMathExtractor extends WebExtractor
- object WikiExtractor extends WebExtractor
- object WolframExtractor extends WebExtractor