DefaultDeclarativeModule

The DefaultDeclarativeModule is the general starting point for any theory specific implementation. It is thread safe, provides all the required functionality, and also provides access to the three most commonly required extension points. Specifically, you can provide it with:

• IDeclarativeNamer to specify the names of chunks/types on encoding
• IDeclarativeInstantiator to instantiate the specific class of chunk/types required by the module (defaults to DefaultChunk5 and DefaultChunkType5)
• IDeclarativeConfigurator to configure the instantiate chunk/types (useful for adding non-default parameters, etc).