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 ()