"ablaufinvariant" in English ablaufinvariant reentrant Detailed translations for "ablaufinvariant" ablaufinvariant ablaufinvariant(also: eintrittsinvariant) reentrant