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

Direct Known Subclasses:: NormalRule, PopRule, PushRule

public abstract class Rule<Location,State,Weight>
extends Object

Field Summary

Fields
Modifier and Type Field Description

protected Location l1

protected Location l2

protected State s1

protected State s2

protected Weight w

Constructor Summary

Constructors
Constructor Description

Rule(State s1, Location l1, State s2, Location l2, Weight w)

Method Summary

All Methods Instance Methods Concrete Methods
Modifier and Type	Method	Description
`boolean`	`equals(Object obj)`
`Location`	`getL1()`
`Location`	`getL2()`
`State`	`getS1()`
`State`	`getS2()`
`Configuration<Location,State>`	`getStartConfig()`
`Configuration<Location,State>`	`getTargetConfig()`
`Weight`	`getWeight()`
`int`	`hashCode()`
`void`	`setS1(State s1)`

Methods inherited from class java.lang.Object
clone, finalize, getClass, notify, notifyAll, toString, wait, wait, wait

Field Detail

l1
```
protected Location l1
```

s1
```
protected State s1
```

l2
```
protected Location l2
```

s2
```
protected State s2
```

w
```
protected Weight w
```

Constructor Detail

Rule

public Rule(State s1,
            Location l1,
            State s2,
            Location l2,
            Weight w)

Method Detail

getStartConfig

public Configuration<Location,State> getStartConfig()

getTargetConfig

public Configuration<Location,State> getTargetConfig()

getL1
```
public Location getL1()
```

getL2
```
public Location getL2()
```

getS1
```
public State getS1()
```

getS2
```
public State getS2()
```

setS1
```
public void setS1(State s1)
```

getWeight
```
public Weight getWeight()
```

hashCode
```
public int hashCode()
```
Overrides:

hashCode in class Object

equals
```
public boolean equals(Object obj)
```
Overrides:

equals in class Object

Modifier and Type	Field	Description
`protected Location`	`l1`
`protected Location`	`l2`
`protected State`	`s1`
`protected State`	`s2`
`protected Weight`	`w`

Class Rule<Location,​State,​Weight>

Field Summary

Constructor Summary

Method Summary

Methods inherited from class java.lang.Object

Field Detail

l1

s1

l2

s2

w

Constructor Detail

Rule

Method Detail

getStartConfig

getTargetConfig

getL1

getL2

getS1

getS2

setS1

getWeight

hashCode

equals

Class Rule<Location,State,Weight>