Class: Aws::Types::AutomatedReasoningCheckSatisfiableFinding

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

Constant Summary collapse

SENSITIVE =

Returns:

  • ([]) 

      
    

  




  
Instance Attribute Summary collapse

  





  

    
Instance Attribute Details

    
      
      
      

  

  
    #claims_false_scenario  ⇒ Types::AutomatedReasoningCheckScenario 
  

  

  


  

    
Returns the value of attribute claims_false_scenario.


  





  

Returns:





  

    
      


156
157
158

    		
    
      
# File 'sig/types.rbs', line 156

def claims_false_scenario
  @claims_false_scenario
end

    		
  





    
      
      
      

  

  
    #claims_true_scenario  ⇒ Types::AutomatedReasoningCheckScenario 
  

  

  


  

    
Returns the value of attribute claims_true_scenario.


  





  

Returns:





  

    
      


155
156
157

    		
    
      
# File 'sig/types.rbs', line 155

def claims_true_scenario
  @claims_true_scenario
end

    		
  





    
      
      
      

  

  
    #logic_warning  ⇒ Types::AutomatedReasoningCheckLogicWarning 
  

  

  


  

    
Returns the value of attribute logic_warning.


  





  

Returns:





  

    
      


157
158
159

    		
    
      
# File 'sig/types.rbs', line 157

def logic_warning
  @logic_warning
end

    		
  





    
      
      
      

  

  
    #translation  ⇒ Types::AutomatedReasoningCheckTranslation 
  

  

  


  

    
Returns the value of attribute translation.


  





  

Returns:





  

    
      


154
155
156

    		
    
      
# File 'sig/types.rbs', line 154

def translation
  @translation
end