wpds.impl

Class Transition<N extends Location,D extends State>

java.lang.Object

wpds.impl.Transition<N,D>

All Implemented Interfaces:

pathexpression.Edge<D,N>

public class Transition<N extends Location,D extends State>
extends Object
implements pathexpression.Edge<D,N>

Constructor Summary

Constructors

Constructor and Description
Transition(D s1, N l1, D s2)

Method Summary

Modifier and Type	Method and Description
boolean	equals(Object obj)
N	getLabel()
D	getStart()
Configuration<N,D>	getStartConfig()
N	getString()
D	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(D s1,
                  N l1,
                  D s2)

Method Detail

getStartConfig

public Configuration<N,D> getStartConfig()

getTarget

public D getTarget()

Specified by:

getTarget in interface pathexpression.Edge<D extends State,N extends Location>

getStart

public D getStart()

Specified by:

getStart in interface pathexpression.Edge<D extends State,N extends Location>

getString

public N 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 N getLabel()

Specified by:

getLabel in interface pathexpression.Edge<D extends State,N extends Location>