ProofDescriptor Costruttore

Definizione

Viene chiamato dai costruttori nelle classi derivate per inizializzare la classe ProofDescriptor.

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

Si applica a