Edit

Share via


ProofDescriptor Constructor

Definition

Called from constructors in derived classes to initialize the ProofDescriptor class.

protected:
 ProofDescriptor();
protected ProofDescriptor ();
Protected Sub New ()

Applies to