Package sync.pds.solver

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

java.lang.Object

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

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

sync.pds.solver.CastNormalRule<N,D,W>

public class CastNormalRule<N extends Location,D extends State,W extends Weight>
extends NormalRule<N,D,W>

Field Summary

Fields inherited from class wpds.impl.Rule

l1, l2, s1, s2, w

Constructor Summary

Constructors

Constructor	Description
CastNormalRule(D s1, N l1, D s2, N l2, W w)

Method Summary

Modifier and Type	Method	Description
boolean	canBeApplied(Transition<N,D> t, W weight)

Methods inherited from class wpds.impl.NormalRule

toString

Methods inherited from class wpds.impl.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

CastNormalRule

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

Method Detail

canBeApplied

public boolean canBeApplied(Transition<N,D> t,
                            W weight)

Overrides:

canBeApplied in class NormalRule<N extends Location,D extends State,W extends Weight>