public class UPushRule<N extends Location,D extends State> extends PushRule<N,D,Weight.NoWeight>
| Constructor and Description |
|---|
UPushRule(D s1,
N l1,
D s2,
N l2,
N callSite) |
| Modifier and Type | Method and Description |
|---|---|
String |
toString() |
equals, getCallSite, hashCodegetL1, getL2, getS1, getS2, getStartConfig, getTargetConfig, getWeight, setS1Copyright © 2023. All rights reserved.