uk.ac.manchester.cs.jfact.kernel

Class RAStateTransitions

java.lang.Object

uk.ac.manchester.cs.jfact.kernel.RAStateTransitions

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

class to represent transitions from a single state in an automaton

Field Summary

Fields

Modifier and Type	Field and Description
protected List<RATransition>	base all transitions
protected boolean	emptyTransition check whether there is an empty transition going from this state

Constructor Summary

Constructors

Constructor and Description
RAStateTransitions()

Method Summary

Methods

Modifier and Type	Method and Description
void	add(RATransition trans) add a transition from a given state
boolean	addToExisting(RATransition trans) add information from TRANS to existing transition between the same states.
List<RATransition>	begin() RW begin
int	getTransitionEnd()
boolean	hasEmptyTransition()
boolean	isEmpty()
boolean	isSingleton()
void	print(LogAdapter o) print all the transitions starting from the state FROM
boolean	recognise(Role R)
void	setup(int state, int nRoles, boolean data) set up state transitions: no more additions to the structure

Methods inherited from class java.lang.Object

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

Field Detail

base

@PortedFrom(file="RAutomaton.h",
            name="Base")
protected List<RATransition> base

all transitions

emptyTransition

@PortedFrom(file="RAutomaton.h",
            name="EmptyTransition")
protected boolean emptyTransition

check whether there is an empty transition going from this state

Constructor Detail

RAStateTransitions

public RAStateTransitions()

Method Detail

begin

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

RW begin

add

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

add a transition from a given state

isEmpty

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

Returns:

true iff there are no transitions from this state

hasEmptyTransition

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

Returns:

true iff there is an empty transition from the state

print

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

print all the transitions starting from the state FROM

setup

@PortedFrom(file="RAutomaton.h",
            name="setup")
public void setup(int state,
                            int nRoles,
                            boolean data)

set up state transitions: no more additions to the structure

addToExisting

@PortedFrom(file="RAutomaton.h",
            name="addToExisting")
public boolean addToExisting(RATransition trans)

add information from TRANS to existing transition between the same states. @return false if no such transition found

recognise

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

isSingleton

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

Returns:

true iff there is only one transition

getTransitionEnd

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

Returns:

state of the 1st transition; used for singletons