wpds.impl

Class PushRule<N extends Location,D extends State,W extends Weight>

java.lang.Object

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

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

Direct Known Subclasses:

UPushRule

public class PushRule<N extends Location,D extends State,W extends Weight>
extends Rule<N,D,W>

Field Summary

Fields

Modifier and Type	Field and Description
protected N	callSite

Fields inherited from class wpds.impl.Rule

l1, l2, s1, s2, w

Constructor Summary

Constructors

Constructor and Description
PushRule(D s1, N l1, D s2, N l2, N callSite, W w)

Method Summary

Modifier and Type	Method and Description
boolean	equals(Object obj)
N	getCallSite()
int	hashCode()
String	toString()

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

Field Detail

callSite

protected N extends Location callSite

Constructor Detail

PushRule

public PushRule(D s1,
                N l1,
                D s2,
                N l2,
                N callSite,
                W w)

Method Detail

getCallSite

public N getCallSite()

hashCode

public int hashCode()

Overrides:

hashCode in class Rule<N extends Location,D extends State,W extends Weight>

equals

public boolean equals(Object obj)

Overrides:

equals in class Rule<N extends Location,D extends State,W extends Weight>

toString

public String toString()

Overrides:

toString in class Object