Bedrock  >  Enums  >  AutomatedReasoningCheckResult

AutomatedReasoningCheckResult

Enum Class

AutomatedReasoningCheckResult

Bases: UnknownEnumMixin, StrEnum

Attributes

IMPOSSIBLE class-attribute instance-attribute

IMPOSSIBLE = 'IMPOSSIBLE'

INVALID class-attribute instance-attribute

INVALID = 'INVALID'

NO_TRANSLATION class-attribute instance-attribute

NO_TRANSLATION = 'NO_TRANSLATION'

SATISFIABLE class-attribute instance-attribute

SATISFIABLE = 'SATISFIABLE'

TOO_COMPLEX class-attribute instance-attribute

TOO_COMPLEX = 'TOO_COMPLEX'

TRANSLATION_AMBIGUOUS class-attribute instance-attribute

TRANSLATION_AMBIGUOUS = 'TRANSLATION_AMBIGUOUS'

VALID class-attribute instance-attribute

VALID = 'VALID'