Class: polyspace.Options
Package: polyspace
Add Polyspace options object definition to a script
filePath = opts.toScript(fileName,positionInScript)
adds the properties of a filePath = opts.toScript(fileName,positionInScript)polyspace.Options object to a MATLAB® script. The script shows the values assigned to all the properties of the
object. You can run the script later to define the object in the MATLAB workspace and use it.
generateProject | polyspace.Options | copyTo (Polyspace Code Prover Server)