PopRule (pushdown 1.1 API)

java.lang.Object
- de.breakpointsec.pushdown.rules.Rule<Location,State,Weight>
- - de.breakpointsec.pushdown.rules.PopRule<Location,State,Weight>

public class PopRule<Location,State,Weight>
extends Rule<Location,State,Weight>

- Field Summary
  - Fields inherited from class de.breakpointsec.pushdown.rules.Rule
    l1, l2, s1, s2, w
- Constructor Summary
  
  Constructors
  Constructor Description
  
  PopRule(State s1, Location l1, State s2, Weight w)
- Method Summary
  
  All Methods Instance Methods Concrete Methods
  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

PopRule

public PopRule(State s1,
               Location l1,
               State s2,
               Weight w)

Method Detail
- toString
```
public String toString()
```
  Overrides:
  
  toString in class Object