Class: Aws::Bedrock::Types::AutomatedReasoningCheckLogicWarning

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

Overview

Identifies logical issues in the translated statements that exist independent of any policy rules, such as statements that are always true or always false.

See Also:

Constant Summary collapse

SENSITIVE = 
[]

Instance Attribute Summary collapse

Instance Attribute Details

#claims ⇒ Array<Types::AutomatedReasoningLogicStatement>

The logical statements that are validated while assuming the policy and premises.

Returns:



392
393
394
395
396
397
398
 
# File 'gems/aws-sdk-bedrock/lib/aws-sdk-bedrock/types.rb', line 392

class AutomatedReasoningCheckLogicWarning < Struct.new(
  :type,
  :premises,
  :claims)
  SENSITIVE = []
  include Aws::Structure
end

#premises ⇒ Array<Types::AutomatedReasoningLogicStatement>

The logical statements that serve as premises under which the claims are validated.

Returns:



392
393
394
395
396
397
398
 
# File 'gems/aws-sdk-bedrock/lib/aws-sdk-bedrock/types.rb', line 392

class AutomatedReasoningCheckLogicWarning < Struct.new(
  :type,
  :premises,
  :claims)
  SENSITIVE = []
  include Aws::Structure
end

#type ⇒ String

The category of the detected logical issue, such as statements that are always true or always false.

Returns:

  • (String) 


392
393
394
395
396
397
398
 
# File 'gems/aws-sdk-bedrock/lib/aws-sdk-bedrock/types.rb', line 392

class AutomatedReasoningCheckLogicWarning < Struct.new(
  :type,
  :premises,
  :claims)
  SENSITIVE = []
  include Aws::Structure
end