public class PartiallyOrderedLog
extends java.lang.Object
| Constructor and Description |
|---|
PartiallyOrderedLog() |
| Modifier and Type | Method and Description |
|---|---|
java.util.List<PartialOrder> |
getPartialOrders() |
void |
setPartialOrders(java.util.List<PartialOrder> partialOrders) |
public java.util.List<PartialOrder> getPartialOrders()
public void setPartialOrders(java.util.List<PartialOrder> partialOrders)