ProofDescriptor 构造函数

定义

从派生类中的构造函数中调用,用于初始化 ProofDescriptor 类。

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

适用于