| Constructor and Description |
|---|
PrefixManager() |
| Modifier and Type | Method and Description |
|---|---|
Prefix |
getPrefixByValue(String string) |
static PrefixManager |
instance() |
Iterator<Prefix> |
iterator() |
void |
putPrefix(Prefix prefix) |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, waitforEach, spliteratorpublic static PrefixManager instance()
public void putPrefix(Prefix prefix)
public Prefix getPrefixByValue(String string)
string - Copyright © 2014–2018 GraphIK (INRIA - LIRMM). All rights reserved.