AutomatedReasoningCheckImpossibleFinding¶
Structure Class¶
dataclass
¶
Indicates that no valid claims can be made due to logical contradictions in the premises or rules.
Attributes¶
class-attribute
instance-attribute
¶
contradicting_rules: list[AutomatedReasoningCheckRule] | None = None
The automated reasoning policy rules that contradict the claims and/or premises in the input.
class-attribute
instance-attribute
¶
logic_warning: AutomatedReasoningCheckLogicWarning | None = None
Indication of a logic issue with the translation without needing to consider the automated reasoning policy rules.
class-attribute
instance-attribute
¶
translation: AutomatedReasoningCheckTranslation | None = None
The logical translation of the input that this finding evaluates.