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