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()