DocumentationMizar is able to handle different types of context.
The context is automatically instantiated by the method createContext from Mizar.
In addition to the classes, a factory and a context manager are availables to help for creating context. Once the context is created, the client can handle it by the use of its interface.
A context is a concept that brings together :
- a webGL globe
- a coordinate reference system
- a navigation
 |
SkyContext | A context representing a sky |
 |
PlanetContext | A context representing a planet |
In addition to the classes, a factory and a context manager are availables to help for creating context. Once the context is created, the client can handle it by the use of its interface.
- Implements: