bedrock/aws.sdk.kotlin.services.bedrock.model/AutomatedReasoningLogicStatement

AutomatedReasoningLogicStatement

Represents a logical statement that can be expressed both in formal logic notation and natural language, providing dual representations for better understanding and validation.

Types

Builder

class Builder

Companion

object Companion

Properties

logic

val logic: String

The formal logic representation of the statement using mathematical notation and logical operators.

naturalLanguage

val naturalLanguage: String?

The natural language representation of the logical statement, providing a human-readable interpretation of the formal logic.

Functions

copy

inline fun copy(block: AutomatedReasoningLogicStatement.Builder.() -> Unit = {}): AutomatedReasoningLogicStatement

equals

open operator override fun equals(other: Any?): Boolean

hashCode

open override fun hashCode(): Int

toString

open override fun toString(): String