Share via


ExplorationResultPacker Members

This class supports packing exploration result object models into file.

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

Public Constructors

  Name Description
  ExplorationResultPacker Constructs an exploration result packer.

Top

Public Methods

(see also Protected Methods)

  Name Description
public method Equals  (Inherited from Object)
public method GetHashCode  (Inherited from Object)
public method GetType  (Inherited from Object)
public method Save Saves exploration result into file.
public method ToString  (Inherited from Object)

Top

Protected Methods

  Name Description
protected method Finalize  (Inherited from Object)
protected method MemberwiseClone  (Inherited from Object)

Top

See Also

Reference

ExplorationResultPacker Class
Microsoft.SpecExplorer.ObjectModel Namespace