Uses of Class
starlink.AutomataElements.Operation

Packages that use Operation

starlink.AutomataElements

Uses of Operation in starlink.AutomataElements

Fields in starlink.AutomataElements declared as Operation

protected Operation

Translationlogic.operation

Methods in starlink.AutomataElements that return Operation

Operation	ObjectFactory.createOperation() Create an instance of Operation
Operation	Translationlogic.getOperation() Gets the value of the operation property.

Methods in starlink.AutomataElements with parameters of type Operation

void	Translationlogic.setOperation(Operation value) Sets the value of the operation property.