Skip to content

AutomatedReasoningCheckLogicWarning

Source code in docs_src/capo_bedrock/types/automated_reasoning_check_logic_warning.py 
12
13
14
15
16
17
18
19
20
21
22
23
24
class AutomatedReasoningCheckLogicWarning(TypedDict, closed=True):
    type: NotRequired[
        "capo_bedrock.types.automated_reasoning_check_logic_warning_type.AutomatedReasoningCheckLogicWarningType"
    ]
    """<p>The category of the detected logical issue, such as statements that are always true or always false.</p>"""
    premises: NotRequired[
        "capo_bedrock.types.automated_reasoning_logic_statement_list.AutomatedReasoningLogicStatementList"
    ]
    """<p>The logical statements that serve as premises under which the claims are validated.</p>"""
    claims: NotRequired[
        "capo_bedrock.types.automated_reasoning_logic_statement_list.AutomatedReasoningLogicStatementList"
    ]
    """<p>The logical statements that are validated while assuming the policy and premises.</p>"""

claims instance-attribute 

claims: NotRequired[AutomatedReasoningLogicStatementList]

The logical statements that are validated while assuming the policy and premises.

premises instance-attribute 

premises: NotRequired[AutomatedReasoningLogicStatementList]

The logical statements that serve as premises under which the claims are validated.

type instance-attribute 

type: NotRequired[AutomatedReasoningCheckLogicWarningType]

The category of the detected logical issue, such as statements that are always true or always false.