Module fr.univartois.cril.juniverse

Package fr.univartois.cril.juniverse.csp

Class UniverseTransition

java.lang.Object

fr.univartois.cril.juniverse.csp.UniverseTransition

public final class UniverseTransition
extends Object

The UniverseTransition represents a transition in a constraint representing an automaton.

Constructor Summary

Constructors

Constructor	Description
UniverseTransition(String start, int value, String end)	Creates a new UniverseTransition.

Method Summary

Modifier and Type	Method	Description
String	getEnd()	Gives the target state, where the transition ends.
String	getStart()	Gives the source state, where the transition begins.
int	getValue()	Gives the value (object) labeling the transition.

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Details

UniverseTransition

public UniverseTransition(String start,
 int value,
 String end)

Creates a new UniverseTransition.

Parameters:

start - The source state, where the transition begins.

value - The value (object) labeling the transition.

end - The target state, where the transition ends.

Method Details

getStart

public String getStart()

Gives the source state, where the transition begins.

Returns:

The source state.

getValue

public int getValue()

Gives the value (object) labeling the transition.

Returns:

The value labeling the transition.

getEnd

public String getEnd()

Gives the target state, where the transition ends.

Returns:

The target state.