ProofDescriptor Construtor

Definição

Chamado de construtores em classes derivadas para inicializar a classe ProofDescriptor.Called from constructors in derived classes to initialize the ProofDescriptor class.

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

Aplica-se a