ProofDescriptor 생성자

정의

파생 클래스의 생성자에서 호출되어 클래스를 ProofDescriptor 초기화합니다.

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

적용 대상