AK#

class ansys.scade.apitools.create.data_def.AK#

Bases: enum.Enum

Provides an enum of assertion kinds.

Overview#

ASSUME

GUARANTEE

Import detail#

from ansys.scade.apitools.create.data_def import AK

Attribute detail#

AK.ASSUME = 'Assume'#
AK.GUARANTEE = 'Guarantee'#