ProofDescriptor Konstruktor

Definition

Wird von Konstruktoren in abgeleiteten Klassen aufgerufen, um die ProofDescriptor Klasse zu initialisieren.

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

Gilt für: