ProofDescriptor Constructor

Definición

Se llama desde constructores de clases derivadas para inicializar la ProofDescriptor clase .

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

Se aplica a