Uses of Class
starlink.AutomataElements.Parameters

Packages that use Parameters

starlink.AutomataElements

Uses of Parameters in starlink.AutomataElements

Fields in starlink.AutomataElements declared as Parameters

protected Parameters

Operation.parameters

Methods in starlink.AutomataElements that return Parameters

Parameters	ObjectFactory.createParameters() Create an instance of Parameters
Parameters	Operation.getParameters() Gets the value of the parameters property.

Methods in starlink.AutomataElements with parameters of type Parameters

void	Operation.setParameters(Parameters value) Sets the value of the parameters property.