| Enum | Description |
|---|---|
| ModuleMethod |
Module types - for use with Chiara and Dmitry's implementation of
modularisation and atomic decomposition, as implemented in
FaCT++/OWLAPITOOLS.
|
Copyright © 2017 The University of Manchester. All Rights Reserved.