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