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: