Редагувати

Поділитися через


ProofDescriptor Constructor

Definition

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

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

Applies to