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>
-
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description booleancanBeApplied(Transition<N,D> t, W weight)-
Methods inherited from class wpds.impl.NormalRule
toString
-
-