#include <opt_explain_format.h>
◆ Explain_format_flags()
  
  
      
        
          | Explain_format_flags::Explain_format_flags  | 
          ( | 
           | ) | 
           | 
         
       
   | 
  
inline   | 
  
 
 
◆ any()
Return true if any of clauses has this property set. 
- Parameters
 - 
  
    | property | Check if this property is present in any of the sorts except clause's sort if specified  | 
    | clause | Optional. Do not check for the property for this clause. The default is to check all clauses.  | 
  
   
 
 
◆ get()
Return true if property is set for the clause. 
 
 
◆ reset()
Clear property bit flag for the clause. 
 
 
◆ set() [1/2]
◆ set() [2/2]
Set property bit flag for the clause. 
 
 
◆ sorts
Bitmasks of Explain_sort_property flags for Explain_sort_clause clauses. 
 
 
The documentation for this class was generated from the following file: