Class: Aws::Types::AutomatedReasoningCheckLogicWarning

Inherits:
Object
  • Object
show all
Defined in:
sig/types.rbs

Constant Summary collapse

SENSITIVE =

Returns:

  • ([])

Instance Attribute Summary collapse

Instance Attribute Details

#claims::Array[Types::AutomatedReasoningLogicStatement]

Returns the value of attribute claims.



140
141
142
# File 'sig/types.rbs', line 140

def claims
  @claims
end

#premises::Array[Types::AutomatedReasoningLogicStatement]

Returns the value of attribute premises.



139
140
141
# File 'sig/types.rbs', line 139

def premises
  @premises
end

#type"ALWAYS_TRUE", "ALWAYS_FALSE"

Returns the value of attribute type.

Returns:

  • ("ALWAYS_TRUE", "ALWAYS_FALSE")


138
139
140
# File 'sig/types.rbs', line 138

def type
  @type
end