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, wait
forEach, spliterator
public static PrefixManager instance()
public void putPrefix(Prefix prefix)
public Prefix getPrefixByValue(String string)
string
- Copyright © 2014–2018 GraphIK (INRIA - LIRMM). All rights reserved.