class ADSL::DS::DSInvariant