AK# class AK# Bases: enum.Enum Provides an enum of assertion kinds. Overview# Attributes ASSUME GUARANTEE Import detail# from ansys.scade.apitools.create.data_def import AK Attribute detail# ASSUME = 'Assume'# GUARANTEE = 'Guarantee'#