Builder
class Builder
Properties
Link copied to clipboard
An example scenario demonstrating how the claims are logically true.
Link copied to clipboard
Indication of a logic issue with the translation without needing to consider the automated reasoning policy rules.
Link copied to clipboard
The automated reasoning policy rules that support why this result is considered valid.
Link copied to clipboard
The logical translation of the input that this finding validates.
Functions
Link copied to clipboard
construct an aws.sdk.kotlin.services.bedrock.model.AutomatedReasoningCheckScenario inside the given block
Link copied to clipboard
construct an aws.sdk.kotlin.services.bedrock.model.AutomatedReasoningCheckLogicWarning inside the given block
Link copied to clipboard
construct an aws.sdk.kotlin.services.bedrock.model.AutomatedReasoningCheckTranslation inside the given block