AutomatedReasoningCheckSatisfiableFinding¶
Structure Class¶
dataclass
¶
Indicates that the claims could be either true or false depending on additional assumptions not provided in the input.
Attributes¶
class-attribute
instance-attribute
¶
claims_false_scenario: AutomatedReasoningCheckScenario | None = None
An example scenario demonstrating how the claims could be logically false.
class-attribute
instance-attribute
¶
claims_true_scenario: AutomatedReasoningCheckScenario | None = None
An example scenario demonstrating how the claims could be logically true.
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.