Compartir a través de

Node Constructor

  • Artículo

Overload List

Name Description
Node () Constructs a default instance.
Node (NodeKind, Int32, Int32, Int32, Node[]) Constructs a node which can represent a state, thread, stack frame, constraint or value.

See Also

Reference

Node Class
Node Members
Microsoft.SpecExplorer.ObjectModel Namespace