public class ReorderingOracle
extends java.lang.Object
Constructor and Description |
---|
ReorderingOracle(ShiftReduceOptions op,
java.util.Set<java.lang.String> rootOnlyStates) |
public ReorderingOracle(ShiftReduceOptions op, java.util.Set<java.lang.String> rootOnlyStates)