Partilhar via


DynamicTraversalHelper Members

The following tables list the members exposed by the DynamicTraversalHelper type.

Public Methods

  Name Description
public method static GetTransitionSystem Deserialize transition system object model from the string value.

Top

See Also

Reference

DynamicTraversalHelper Class
Microsoft.SpecExplorer.DynamicTraversal Namespace