Class: Aws::Bedrock::Types::AutomatedReasoningCheckSatisfiableFinding

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

Overview

Indicates that the claims could be either true or false depending on additional assumptions not provided in the input.

See Also:

Constant Summary collapse

SENSITIVE = 
[]

Instance Attribute Summary collapse

Instance Attribute Details

#claims_false_scenario ⇒ Types::AutomatedReasoningCheckScenario

An example scenario demonstrating how the claims could be logically false.

Returns:



358
359
360
361
362
363
364
365
 
# File 'gems/aws-sdk-bedrock/lib/aws-sdk-bedrock/types.rb', line 358

class AutomatedReasoningCheckSatisfiableFinding < Struct.new(
  :translation,
  :claims_true_scenario,
  :claims_false_scenario,
  :logic_warning)
  SENSITIVE = []
  include Aws::Structure
end

#claims_true_scenario ⇒ Types::AutomatedReasoningCheckScenario

An example scenario demonstrating how the claims could be logically true.

Returns:



358
359
360
361
362
363
364
365
 
# File 'gems/aws-sdk-bedrock/lib/aws-sdk-bedrock/types.rb', line 358

class AutomatedReasoningCheckSatisfiableFinding < Struct.new(
  :translation,
  :claims_true_scenario,
  :claims_false_scenario,
  :logic_warning)
  SENSITIVE = []
  include Aws::Structure
end

#logic_warning ⇒ Types::AutomatedReasoningCheckLogicWarning

Indication of a logic issue with the translation without needing to consider the automated reasoning policy rules.

Returns:



358
359
360
361
362
363
364
365
 
# File 'gems/aws-sdk-bedrock/lib/aws-sdk-bedrock/types.rb', line 358

class AutomatedReasoningCheckSatisfiableFinding < Struct.new(
  :translation,
  :claims_true_scenario,
  :claims_false_scenario,
  :logic_warning)
  SENSITIVE = []
  include Aws::Structure
end

#translation ⇒ Types::AutomatedReasoningCheckTranslation

The logical translation of the input that this finding evaluates.

Returns:



358
359
360
361
362
363
364
365
 
# File 'gems/aws-sdk-bedrock/lib/aws-sdk-bedrock/types.rb', line 358

class AutomatedReasoningCheckSatisfiableFinding < Struct.new(
  :translation,
  :claims_true_scenario,
  :claims_false_scenario,
  :logic_warning)
  SENSITIVE = []
  include Aws::Structure
end