astEnums.hpp

Go to the documentation of this file.

 
/*
**  Copyright (C) - Triton
**
**  This program is under the terms of the Apache License 2.0.
*/
 
#ifndef TRITON_ASTENUMS_HPP
#define TRITON_ASTENUMS_HPP
 
 
 
namespace triton {
  namespace ast {
    enum ast_e {
      INVALID_NODE = 0,               
      ANY_NODE = 0,                   
      ASSERT_NODE = 3,                
      BSWAP_NODE = 5,                 
      BVADD_NODE = 7,                 
      BVAND_NODE = 13,                
      BVASHR_NODE = 17,               
      BVLSHR_NODE = 19,               
      BVMUL_NODE = 23,                
      BVNAND_NODE = 29,               
      BVNEG_NODE = 31,                
      BVNOR_NODE = 37,                
      BVNOT_NODE = 41,                
      BVOR_NODE = 43,                 
      BVROL_NODE = 47,                
      BVROR_NODE = 53,                
      BVSDIV_NODE = 59,               
      BVSGE_NODE = 61,                
      BVSGT_NODE = 67,                
      BVSHL_NODE = 71,                
      BVSLE_NODE = 73,                
      BVSLT_NODE = 79,                
      BVSMOD_NODE = 83,               
      BVSREM_NODE = 89,               
      BVSUB_NODE = 97,                
      BVUDIV_NODE = 101,              
      BVUGE_NODE = 103,               
      BVUGT_NODE = 107,               
      BVULE_NODE = 109,               
      BVULT_NODE = 113,               
      BVUREM_NODE = 127,              
      BVXNOR_NODE = 131,              
      BVXOR_NODE = 137,               
      BV_NODE = 139,                  
      COMPOUND_NODE = 149,            
      CONCAT_NODE = 151,              
      DECLARE_NODE = 157,             
      DISTINCT_NODE = 163,            
      EQUAL_NODE = 167,               
      EXTRACT_NODE = 173,             
      FORALL_NODE = 179,              
      IFF_NODE = 181,                 
      INTEGER_NODE = 191,             
      ITE_NODE = 193,                 
      LAND_NODE = 197,                
      LET_NODE = 199,                 
      LNOT_NODE = 211,                
      LOR_NODE = 223,                 
      LXOR_NODE = 227,                
      REFERENCE_NODE = 229,           
      STRING_NODE = 233,              
      SX_NODE = 239,                  
      VARIABLE_NODE = 241,            
      ZX_NODE = 251,                  
      ARRAY_NODE = 257,               
      SELECT_NODE = 263,              
      STORE_NODE = 269,               
    };
 
    namespace representations {
      enum mode_e {
        SMT_REPRESENTATION = 0,     
        PYTHON_REPRESENTATION = 1,  
        PCODE_REPRESENTATION = 2,   
        LAST_REPRESENTATION = 3,    
      };
 
    };
  };
};
 
#endif /* TRITON_ASTENUMS_HPP */