Package | Description |
---|---|
fr.lip6.move.pnml.framework.general |
Modifier and Type | Method and Description |
---|---|
HLAPIClass |
PnmlImport.importFile(String path)
Imports the given file with is default importer, or fallback one if
defined.
|
HLAPIClass |
PnmlImport.importFile(String path,
String forcedNameSpace)
Imports the file in the given namespace pnml types, or in the file one if
forcedNamespace is null.
|
Copyright © 2009–2016 Univ. Paris Ouest, and Univ. Pierre et Marie Curie / CNRS UMR 7606 (LIP6). All rights reserved.