RATransition (JFact 4.0.1 API)

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

role automaton transition

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

Methods
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`	`final_state()`
`boolean`	`isEmpty()`
`boolean`	`isTop()`
`void`	`print(LogAdapter o, int from)` print the transition starting from FROM

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

add label of transition TRANS to transition's label

@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

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

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

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

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

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

print the transition starting from FROM

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

Class RATransition