ProofDescriptor Costruttore

Definizione

Chiamato dai costruttori nelle classi derivate per inizializzare la ProofDescriptor classe .

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

Si applica a