|
||||||||||
PREV NEXT | FRAMES NO FRAMES |
Packages that use Networkprimitive | |
---|---|
starlink.AutomataElements |
Uses of Networkprimitive in starlink.AutomataElements |
---|
Fields in starlink.AutomataElements declared as Networkprimitive | |
---|---|
protected Networkprimitive |
Transition.operation
|
Methods in starlink.AutomataElements that return Networkprimitive | |
---|---|
static Networkprimitive |
Networkprimitive.fromValue(java.lang.String v)
|
Networkprimitive |
Transition.getOperation()
Gets the value of the operation property. |
static Networkprimitive |
Networkprimitive.valueOf(java.lang.String name)
Returns the enum constant of this type with the specified name. |
static Networkprimitive[] |
Networkprimitive.values()
Returns an array containing the constants of this enum type, in the order they are declared. |
Methods in starlink.AutomataElements with parameters of type Networkprimitive | |
---|---|
void |
Transition.setOperation(Networkprimitive value)
Sets the value of the operation property. |
|
||||||||||
PREV NEXT | FRAMES NO FRAMES |