Constructor and Description |
---|
FreeNtn() |
Modifier and Type | Method and Description |
---|---|
TypeMgr |
getEdgeMgr()
Get the edge type manager.
|
TypeMgr |
getNodeMgr()
Get the node type manager.
|
boolean |
hasFixedTypes()
Whether this notation has a fixed set of (node and edge) types.
|
void |
setEdgeMgr(TypeMgr edgemgr)
Set the edge type manager.
|
void |
setNodeMgr(TypeMgr nodemgr)
Set the node type manager.
|
public boolean hasFixedTypes()
hasFixedTypes
in class Notation
false
, because any type managers can be usedpublic TypeMgr getNodeMgr()
getNodeMgr
in class Notation
public void setNodeMgr(TypeMgr nodemgr)
setNodeMgr
in class Notation
nodemgr
- the new node type managerNotation.hasFixedTypes()
public TypeMgr getEdgeMgr()
getEdgeMgr
in class Notation
public void setEdgeMgr(TypeMgr edgemgr)
setEdgeMgr
in class Notation
edgemgr
- the new edge type managerNotation.hasFixedTypes()