AutomatedReasoningCheckLogicWarning
Identifies logical issues in the translated statements that exist independent of any policy rules, such as statements that are always true or always false.
Contents
- claims
-
The logical statements that are validated while assuming the policy and premises.
Type: Array of AutomatedReasoningLogicStatement objects
Required: No
- premises
-
The logical statements that serve as premises under which the claims are validated.
Type: Array of AutomatedReasoningLogicStatement objects
Required: No
- type
-
The category of the detected logical issue, such as statements that are always true or always false.
Type: String
Valid Values:
ALWAYS_TRUE | ALWAYS_FALSERequired: No
See Also
For more information about using this API in one of the language-specific AWS SDKs, see the following:
