public class Zorder extends java.lang.Object implements Term
| Constructor and Description |
|---|
Zorder(java.util.List<NamedReference<?>> refs) |
| Modifier and Type | Method and Description |
|---|---|
java.util.List<NamedReference<?>> |
refs() |
public Zorder(java.util.List<NamedReference<?>> refs)
public java.util.List<NamedReference<?>> refs()