Indicates that the claims could be either true or false depending on additional assumptions not provided in the input.
Inheritance Hierarchy
Namespace: Amazon.Bedrock.Model
Assembly: AWSSDK.Bedrock.dll
Version: 3.x.y.z
Syntax
public class AutomatedReasoningCheckSatisfiableFinding
The AutomatedReasoningCheckSatisfiableFinding type exposes the following members
Constructors
| Name | Description | |
|---|---|---|
|
AutomatedReasoningCheckSatisfiableFinding() |
Properties
| Name | Type | Description | |
|---|---|---|---|
|
|
ClaimsFalseScenario | Amazon.Bedrock.Model.AutomatedReasoningCheckScenario |
Gets and sets the property ClaimsFalseScenario. An example scenario demonstrating how the claims could be logically false. |
|
|
ClaimsTrueScenario | Amazon.Bedrock.Model.AutomatedReasoningCheckScenario |
Gets and sets the property ClaimsTrueScenario. An example scenario demonstrating how the claims could be logically true. |
|
|
LogicWarning | Amazon.Bedrock.Model.AutomatedReasoningCheckLogicWarning |
Gets and sets the property LogicWarning. Indication of a logic issue with the translation without needing to consider the automated reasoning policy rules. |
|
|
Translation | Amazon.Bedrock.Model.AutomatedReasoningCheckTranslation |
Gets and sets the property Translation. The logical translation of the input that this finding evaluates. |
Version Information
.NET:
Supported in: 8.0 and newer, Core 3.1
.NET Standard:
Supported in: 2.0
.NET Framework:
Supported in: 4.5 and newer, 3.5