Class: Aws::Types::AutomatedReasoningCheckFinding
- Inherits:
-
Object
- Object
- Aws::Types::AutomatedReasoningCheckFinding
- Defined in:
- sig/types.rbs
Defined Under Namespace
Classes: Impossible, Invalid, NoTranslations, Satisfiable, TooComplex, TranslationAmbiguous, Unknown, Valid
Constant Summary collapse
- SENSITIVE =
Instance Attribute Summary collapse
-
#impossible ⇒ Types::AutomatedReasoningCheckImpossibleFinding
Returns the value of attribute impossible.
-
#invalid ⇒ Types::AutomatedReasoningCheckInvalidFinding
Returns the value of attribute invalid.
-
#no_translations ⇒ Types::AutomatedReasoningCheckNoTranslationsFinding
Returns the value of attribute no_translations.
-
#satisfiable ⇒ Types::AutomatedReasoningCheckSatisfiableFinding
Returns the value of attribute satisfiable.
-
#too_complex ⇒ Types::AutomatedReasoningCheckTooComplexFinding
Returns the value of attribute too_complex.
-
#translation_ambiguous ⇒ Types::AutomatedReasoningCheckTranslationAmbiguousFinding
Returns the value of attribute translation_ambiguous.
-
#unknown ⇒ Object
Returns the value of attribute unknown.
-
#valid ⇒ Types::AutomatedReasoningCheckValidFinding
Returns the value of attribute valid.
Instance Attribute Details
#impossible ⇒ Types::AutomatedReasoningCheckImpossibleFinding
Returns the value of attribute impossible.
93 94 95 |
# File 'sig/types.rbs', line 93 def impossible @impossible end |
#invalid ⇒ Types::AutomatedReasoningCheckInvalidFinding
Returns the value of attribute invalid.
91 92 93 |
# File 'sig/types.rbs', line 91 def invalid @invalid end |
#no_translations ⇒ Types::AutomatedReasoningCheckNoTranslationsFinding
Returns the value of attribute no_translations.
96 97 98 |
# File 'sig/types.rbs', line 96 def no_translations @no_translations end |
#satisfiable ⇒ Types::AutomatedReasoningCheckSatisfiableFinding
Returns the value of attribute satisfiable.
92 93 94 |
# File 'sig/types.rbs', line 92 def satisfiable @satisfiable end |
#too_complex ⇒ Types::AutomatedReasoningCheckTooComplexFinding
Returns the value of attribute too_complex.
95 96 97 |
# File 'sig/types.rbs', line 95 def too_complex @too_complex end |
#translation_ambiguous ⇒ Types::AutomatedReasoningCheckTranslationAmbiguousFinding
Returns the value of attribute translation_ambiguous.
94 95 96 |
# File 'sig/types.rbs', line 94 def translation_ambiguous @translation_ambiguous end |
#unknown ⇒ Object
Returns the value of attribute unknown.
97 98 99 |
# File 'sig/types.rbs', line 97 def unknown @unknown end |
#valid ⇒ Types::AutomatedReasoningCheckValidFinding
Returns the value of attribute valid.
90 91 92 |
# File 'sig/types.rbs', line 90 def valid @valid end |