uk.ac.manchester.cs.jfact.kernel

Class RAStateTransitions

java.lang.Object

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

All Implemented Interfaces:

Serializable

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

class to represent transitions from a single state in an automaton

See Also:

Serialized Form

Constructor Summary

Constructors

Constructor and Description
RAStateTransitions() Default constructor.

Method Summary

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()
boolean	empty()
int	getTransitionEnd()
boolean	hasEmptyTransition()
boolean	hasTopTransition()
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
Stream<RATransition>	stream()

Methods inherited from class java.lang.Object

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

Constructor Detail

RAStateTransitions

public RAStateTransitions()

Default constructor.

Method Detail

begin

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

Returns:

begin

stream

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

Returns:

begin

add

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

add a transition from a given state

Parameters:

trans - trans

hasTopTransition

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

Returns:

true iff there is a top-role transition from the state

empty

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

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

Parameters:

o - o

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

Parameters:

state - state

nRoles - nRoles

data - data

addToExisting

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

add information from TRANS to existing transition between the same states.

Parameters:

trans - trans

Returns:

false if no such transition found

recognise

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

Parameters:

r - R

Returns:

true if R is an applicable data role

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