public class NamedGoedels
extends java.lang.Object
| Constructor and Description |
|---|
NamedGoedels() |
NamedGoedels(java.util.ArrayList<java.lang.String> list) |
| Modifier and Type | Method and Description |
|---|---|
int |
ensureGoedelFor(java.lang.String name) |
java.util.ArrayList<java.lang.String> |
getList() |
Naming<java.lang.Integer> |
getNaming() |
int |
goedelFor(java.lang.String name) |
java.lang.String |
nameFor(int goedel) |
void |
setList(java.util.ArrayList<java.lang.String> newList) |
int |
size() |
java.lang.String |
toString() |
public NamedGoedels()
public NamedGoedels(java.util.ArrayList<java.lang.String> list)
public int goedelFor(java.lang.String name)
public java.lang.String nameFor(int goedel)
public int ensureGoedelFor(java.lang.String name)
public java.lang.String toString()
toString in class java.lang.Objectpublic java.util.ArrayList<java.lang.String> getList()
public void setList(java.util.ArrayList<java.lang.String> newList)
public Naming<java.lang.Integer> getNaming()
public int size()