Class: Aws::Bedrock::Types::AutomatedReasoningLogicStatement

Inherits:
Struct
  • Object
show all
Defined in:
gems/aws-sdk-bedrock/lib/aws-sdk-bedrock/types.rb

Overview

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

See Also:

Constant Summary collapse

SENSITIVE = 
[:logic, :natural_language]

Instance Attribute Summary collapse

Instance Attribute Details

#logic ⇒ String

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

Returns:

  • (String) 


516
517
518
519
520
521
 
# File 'gems/aws-sdk-bedrock/lib/aws-sdk-bedrock/types.rb', line 516

class AutomatedReasoningLogicStatement < Struct.new(
  :logic,
  :natural_language)
  SENSITIVE = [:logic, :natural_language]
  include Aws::Structure
end

#natural_language ⇒ String

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

Returns:

  • (String) 


516
517
518
519
520
521
 
# File 'gems/aws-sdk-bedrock/lib/aws-sdk-bedrock/types.rb', line 516

class AutomatedReasoningLogicStatement < Struct.new(
  :logic,
  :natural_language)
  SENSITIVE = [:logic, :natural_language]
  include Aws::Structure
end