AK#

class AK#

Bases: enum.Enum

Provides an enum of assertion kinds.

Overview#

Import detail#

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

Attribute detail#

ASSUME = 'Assume'#
GUARANTEE = 'Guarantee'#