Parametrizing ACT-Based Properties for Third-Party Solvers

When you use ACT to deploy a third-party solver, you can define the solver's ACT-based properties as either input parameters or output parameters. Parametrizing ACT-based properties for a third-party solver is no different than parametrizing ACT properties in the extension. In the property definition, you add the attribute isparameter and set it to true. By default, the property is an input parameter. To define it as an output parameter, you set the attribute readonly to true.

You can also parameterize analysis settings for a third-party external solver. The settings available depend on the definition of the third-party solver. For example, you can parameterize the maximum number of iterations:

In the XML file, the element <solver> defines the property MaxIter. For this property, you set the attribute isparameter to true.

<solver…

    <property name="MaxIter" caption="Max. Iterations" control="integer" isparameter="true" default="10"/>
</solver>