uk.ac.manchester.cs.jfact.kernel

Class RATransition

java.lang.Object

uk.ac.manchester.cs.jfact.kernel.RATransition

All Implemented Interfaces:

Serializable

@PortedFrom(file="RAutomaton.h",
            name="RATransition")
public class RATransition
extends Object
implements Serializable

role automaton transition

See Also:

Serialized Form

Constructor Summary

Constructors

Constructor and Description
RATransition(int st) create a transition to given state
RATransition(int st, Role r) create a transition with a given label R to given state ST

Method Summary

Modifier and Type	Method and Description
void	add(RATransition trans) add label of transition TRANS to transition's label
void	addIfNew(RATransition trans) add label of transition TRANS to transition's label only if they are new
boolean	applicable(Role r)
Collection<Role>	begin()
int	finalState()
boolean	isEmpty()
boolean	isTop()
void	print(LogAdapter o, int from) print the transition starting from FROM

Methods inherited from class java.lang.Object

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

Constructor Detail

RATransition

public RATransition(int st)

create a transition to given state

Parameters:

st - st

RATransition

public RATransition(int st,
                    Role r)

create a transition with a given label R to given state ST

Parameters:

st - st

r - R

Method Detail

add

@PortedFrom(file="RAutomaton.h",
            name="add")
public void add(RATransition trans)

add label of transition TRANS to transition's label

Parameters:

trans - trans

addIfNew

@PortedFrom(file="RAutomaton.h",
            name="addIfNew")
public void addIfNew(RATransition trans)

add label of transition TRANS to transition's label only if they are new

Parameters:

trans - transition

begin

@PortedFrom(file="RAutomaton.h",
            name="begin")
public Collection<Role> begin()

Returns:

the 1st role in (multi-)transition

finalState

@PortedFrom(file="RAutomaton.h",
            name="final")
public int finalState()

Returns:

a point of the transition

applicable

@PortedFrom(file="RAutomaton.h",
            name="applicable")
public boolean applicable(Role r)

Parameters:

r - R

Returns:

whether transition is applicable wrt role R

isEmpty

@PortedFrom(file="RAutomaton.h",
            name="empty")
public boolean isEmpty()

Returns:

whether transition is empty

print

@PortedFrom(file="RAutomaton.h",
            name="print")
public void print(LogAdapter o,
                                                                             int from)

print the transition starting from FROM

Parameters:

o - o

from - from

isTop

@PortedFrom(file="RAutomaton.h",
            name="isTop")
public boolean isTop()

Returns:

check whether transition is TopRole one