bedrock/aws.sdk.kotlin.services.bedrock.model/AutomatedReasoningCheckFinding/asSatisfiable

asSatisfiable

fun asSatisfiable(): AutomatedReasoningCheckSatisfiableFinding

Casts this AutomatedReasoningCheckFinding as a Satisfiable and retrieves its aws.sdk.kotlin.services.bedrock.model.AutomatedReasoningCheckSatisfiableFinding value. Throws an exception if the AutomatedReasoningCheckFinding is not a Satisfiable.