cTypeInVar

Typ für Element: Eingabevariable $inVar_i$; Die Nummer der Eingabevariable wird über den Konstruktor bestimmt. Nur Eingabevariablen des aktuellen root-Elements können hier auftauchen.

Standarddefinitionsbereich: $naturalNumberB(16)$

Kompatible Definitionsbereiche: alle einzelnen Zahlen

Inkompatible Definitionsbereiche: Vektoren