Package de.breakpointsec.pushdown.rules

Class NormalRule<Location,State,W>

java.lang.Object

de.breakpointsec.pushdown.rules.Rule<Location,State,W>

de.breakpointsec.pushdown.rules.NormalRule<Location,State,W>

public class NormalRule<Location,State,W>
extends Rule<Location,State,W>

Field Summary

Fields inherited from class de.breakpointsec.pushdown.rules.Rule

l1, l2, s1, s2, w

Constructor Summary

Constructors

Constructor	Description
NormalRule(State s1, Location l1, State s2, Location l2, W w)

Method Summary

Modifier and Type	Method	Description
String	toString()

Methods inherited from class de.breakpointsec.pushdown.rules.Rule

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

Methods inherited from class java.lang.Object

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

Constructor Detail

NormalRule

public NormalRule(State s1,
                  Location l1,
                  State s2,
                  Location l2,
                  W w)

Method Detail

toString

public String toString()

Overrides:

toString in class Object