Transition (pushdown 1.1 API)

java.lang.Object
- de.breakpointsec.pushdown.fsm.Transition<Loc,State>

public class Transition<Loc,State>
extends Object

Constructor Summary

Constructors
Constructor Description

Transition(State s1, Loc l1, State s2)

Method Summary

All Methods Instance Methods Concrete Methods
Modifier and Type	Method	Description
`boolean`	`equals(Object obj)`
`Loc`	`getLabel()`
`State`	`getStart()`
`Configuration<Loc,State>`	`getStartConfig()`
`Loc`	`getString()`
`State`	`getTarget()`
`int`	`hashCode()`
`String`	`toString()`

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

Constructor Detail

Transition

public Transition(State s1,
                  Loc l1,
                  State s2)

Method Detail

getStartConfig

public Configuration<Loc,State> getStartConfig()

getTarget
```
public State getTarget()
```

getStart
```
public State getStart()
```

getString
```
public Loc getString()
```

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

hashCode in class Object

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

equals in class Object

toString
```
public String toString()
```
Overrides:

toString in class Object

getLabel
```
public Loc getLabel()
```