wpds.impl

Class UPushRule<N extends Location,D extends State>

java.lang.Object

wpds.impl.Rule<N,D,W>

wpds.impl.PushRule<N,D,Weight.NoWeight>

wpds.impl.UPushRule<N,D>

public class UPushRule<N extends Location,D extends State>
extends PushRule<N,D,Weight.NoWeight>

Field Summary

Fields inherited from class wpds.impl.PushRule

callSite

Fields inherited from class wpds.impl.Rule

l1, l2, s1, s2, w

Constructor Summary

Constructors

Constructor and Description
UPushRule(D s1, N l1, D s2, N l2, N callSite)

Method Summary

Modifier and Type	Method and Description
String	toString()

Methods inherited from class wpds.impl.PushRule

equals, getCallSite, hashCode

Methods inherited from class wpds.impl.Rule

getL1, getL2, getS1, getS2, getStartConfig, getTargetConfig, getWeight, setS1

Methods inherited from class java.lang.Object

clone, finalize, getClass, notify, notifyAll, wait, wait, wait

Constructor Detail

UPushRule

public UPushRule(D s1,
                 N l1,
                 D s2,
                 N l2,
                 N callSite)

Method Detail

toString

public String toString()

Overrides:

toString in class PushRule<N extends Location,D extends State,Weight.NoWeight>