uk.ac.manchester.cs.jfact.kernel

Class RATransition

java.lang.Object

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

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

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

Methods

Modifier and Type	Method and Description
void	add(RATransition trans) add label of transition TRANS to transition's label
boolean	applicable(Role R) check whether transition is applicable wrt role R
Collection<Role>	begin() get the 1st role in (multi-)transition
int	final_state() give a point of the transition
boolean	isEmpty() check whether transition is empty
void	print(LogAdapter o, int from) print the transition starting from FROM

Methods inherited from class java.lang.Object

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

Constructor Detail

RATransition

public RATransition(int st)

create a transition to given state

RATransition

public RATransition(int st,
            Role R)

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

Method Detail

add

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

add label of transition TRANS to transition's label

begin

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

get the 1st role in (multi-)transition

final_state

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

give a point of the transition

applicable

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

check whether transition is applicable wrt role R

isEmpty

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

check whether transition is empty

print

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

print the transition starting from FROM