<html>
<head>
<link rel="stylesheet" href="style.css" type="text/css">
<meta content="text/html; charset=iso-8859-1" http-equiv="Content-Type">
<link rel="Start" href="index.html">
<link title="Index of types" rel=Appendix href="index_types.html">
<link title="Index of exceptions" rel=Appendix href="index_exceptions.html">
<link title="Index of values" rel=Appendix href="index_values.html">
<link title="Index of modules" rel=Appendix href="index_modules.html">
<link title="IDA" rel="Chapter" href="IDA.html">
<link title="IDAColor" rel="Chapter" href="IDAColor.html">
<link title="IDAGUI" rel="Chapter" href="IDAGUI.html">
<link title="IDAGraph" rel="Chapter" href="IDAGraph.html">
<link title="IDAHotKey" rel="Chapter" href="IDAHotKey.html">
<link title="IDATopLoop" rel="Chapter" href="IDATopLoop.html">
<link title="JITRegion" rel="Chapter" href="JITRegion.html">
<link title="Z3" rel="Chapter" href="Z3.html">
<link title="IR" rel="Chapter" href="IR.html">
<link title="IRLocalOpt" rel="Chapter" href="IRLocalOpt.html">
<link title="IRTypeCheck" rel="Chapter" href="IRTypeCheck.html">
<link title="PpIR" rel="Chapter" href="PpIR.html">
<link title="X86" rel="Chapter" href="X86.html">
<link title="X86CFG" rel="Chapter" href="X86CFG.html">
<link title="X86CFGAssembler" rel="Chapter" href="X86CFGAssembler.html">
<link title="X86Constraints" rel="Chapter" href="X86Constraints.html">
<link title="X86Decode" rel="Chapter" href="X86Decode.html">
<link title="X86Disasm" rel="Chapter" href="X86Disasm.html">
<link title="X86Encode" rel="Chapter" href="X86Encode.html">
<link title="X86InternalOperand" rel="Chapter" href="X86InternalOperand.html">
<link title="X86LocalOpt" rel="Chapter" href="X86LocalOpt.html">
<link title="X86TextualAssembler" rel="Chapter" href="X86TextualAssembler.html">
<link title="X86TypeCheck" rel="Chapter" href="X86TypeCheck.html">
<link title="X86Util" rel="Chapter" href="X86Util.html">
<link title="X86Random" rel="Chapter" href="X86Random.html">
<link title="X86ToIR" rel="Chapter" href="X86ToIR.html">
<link title="ASMUtil" rel="Chapter" href="ASMUtil.html">
<link title="LowLevel-old" rel="Chapter" href="LowLevel-old.html">
<link title="StringUtil" rel="Chapter" href="StringUtil.html">
<link title="Util" rel="Chapter" href="Util.html"><title>Index of types</title>
</head>
<body>
<center><h1>Index of types</h1></center>
<table>
<tr><td align="left"><br>A</td></tr>
<tr><td><a href="Z3.html#TYPEapp">app</a> [<a href="Z3.html">Z3</a>]</td>
<td></td></tr>
<tr><td><a href="Z3.html#TYPEast">ast</a> [<a href="Z3.html">Z3</a>]</td>
<td></td></tr>
<tr><td><a href="Z3.html#TYPEast_kind">ast_kind</a> [<a href="Z3.html">Z3</a>]</td>
<td></td></tr>
<tr><td><a href="Z3.html#TYPEast_print_mode">ast_print_mode</a> [<a href="Z3.html">Z3</a>]</td>
<td></td></tr>
<tr><td align="left"><br>B</td></tr>
<tr><td><a href="Z3.html#TYPEbinder_type">binder_type</a> [<a href="Z3.html">Z3</a>]</td>
<td><div class="info">
[ <code class="code"> binder_type </code> ] is a universal or existential quantifier.
</div>
</td></tr>
<tr><td><a href="IR.html#TYPEbinop">binop</a> [<a href="IR.html">IR</a>]</td>
<td><div class="info">
Binops in the IR.
</div>
</td></tr>
<tr><td align="left"><br>C</td></tr>
<tr><td><a href="IR.html#TYPEcastkind">castkind</a> [<a href="IR.html">IR</a>]</td>
<td><div class="info">
Casts in the IR.
</div>
</td></tr>
<tr><td><a href="ASMUtil.html#TYPEcfsuccessors">cfsuccessors</a> [<a href="ASMUtil.html">ASMUtil</a>]</td>
<td><div class="info">
Control flow successor; aids in generic disassembly.
</div>
</td></tr>
<tr><td><a href="IDAGUI.html#TYPEchooser">chooser</a> [<a href="IDAGUI.html">IDAGUI</a>]</td>
<td></td></tr>
<tr><td><a href="Z3.html#TYPEconfig">config</a> [<a href="Z3.html">Z3</a>]</td>
<td></td></tr>
<tr><td><a href="IR.html#TYPEconst">const</a> [<a href="IR.html">IR</a>]</td>
<td><div class="info">
A constant is an <code class="code">int64</code> and associated size.
</div>
</td></tr>
<tr><td><a href="Z3.html#TYPEconstructor">constructor</a> [<a href="Z3.html">Z3</a>]</td>
<td></td></tr>
<tr><td><a href="Z3.html#TYPEconstructor_list">constructor_list</a> [<a href="Z3.html">Z3</a>]</td>
<td></td></tr>
<tr><td><a href="Z3.html#TYPEcontext">context</a> [<a href="Z3.html">Z3</a>]</td>
<td></td></tr>
<tr><td align="left"><br>D</td></tr>
<tr><td><a href="Z3.html#TYPEdatatype_constructor_refined">datatype_constructor_refined</a> [<a href="Z3.html">Z3</a>]</td>
<td><div class="info">
[ <code class="code"> datatype_constructor_refined </code> ] is the refinement of a datatype constructor.
</div>
</td></tr>
<tr><td><a href="Z3.html#TYPEdecl_kind">decl_kind</a> [<a href="Z3.html">Z3</a>]</td>
<td></td></tr>
<tr><td align="left"><br>E</td></tr>
<tr><td><a href="Z3.html#TYPEenum_1">enum_1</a> [<a href="Z3.html">Z3</a>]</td>
<td></td></tr>
<tr><td><a href="Z3.html#TYPEenum_2">enum_2</a> [<a href="Z3.html">Z3</a>]</td>
<td></td></tr>
<tr><td><a href="Z3.html#TYPEenum_3">enum_3</a> [<a href="Z3.html">Z3</a>]</td>
<td></td></tr>
<tr><td><a href="Z3.html#TYPEenum_4">enum_4</a> [<a href="Z3.html">Z3</a>]</td>
<td></td></tr>
<tr><td><a href="Z3.html#TYPEenum_5">enum_5</a> [<a href="Z3.html">Z3</a>]</td>
<td></td></tr>
<tr><td><a href="Z3.html#TYPEenum_6">enum_6</a> [<a href="Z3.html">Z3</a>]</td>
<td></td></tr>
<tr><td><a href="Z3.html#TYPEenum_7">enum_7</a> [<a href="Z3.html">Z3</a>]</td>
<td></td></tr>
<tr><td><a href="Z3.html#TYPEenum_8">enum_8</a> [<a href="Z3.html">Z3</a>]</td>
<td></td></tr>
<tr><td><a href="IR.html#TYPEexpr">expr</a> [<a href="IR.html">IR</a>]</td>
<td></td></tr>
<tr><td align="left"><br>F</td></tr>
<tr><td><a href="Z3.html#TYPEfunc_decl">func_decl</a> [<a href="Z3.html">Z3</a>]</td>
<td></td></tr>
<tr><td align="left"><br>G</td></tr>
<tr><td><a href="IDAGraph.html#TYPEgraph_viewer">graph_viewer</a> [<a href="IDAGraph.html">IDAGraph</a>]</td>
<td><div class="info">
A type for visualizing the graph layout on IDA's graph viewer.
</div>
</td></tr>
<tr><td align="left"><br>I</td></tr>
<tr><td><a href="IDAColor.html#TYPEidacolor">idacolor</a> [<a href="IDAColor.html">IDAColor</a>]</td>
<td><div class="info">
The color pallette that IDA supports as literals.
</div>
</td></tr>
<tr><td><a href="JITRegion.html#TYPEinstate">instate</a> [<a href="JITRegion.html">JITRegion</a>]</td>
<td><div class="info">
That which comes in:  three input values and the flags.
</div>
</td></tr>
<tr><td><a href="IR.html#TYPEinstr">instr</a> [<a href="IR.html">IR</a>]</td>
<td></td></tr>
<tr><td align="left"><br>L</td></tr>
<tr><td><a href="Z3.html#TYPElbool">lbool</a> [<a href="Z3.html">Z3</a>]</td>
<td></td></tr>
<tr><td><a href="Z3.html#TYPEliterals">literals</a> [<a href="Z3.html">Z3</a>]</td>
<td></td></tr>
<tr><td align="left"><br>M</td></tr>
<tr><td><a href="Z3.html#TYPEmodel">model</a> [<a href="Z3.html">Z3</a>]</td>
<td></td></tr>
<tr><td align="left"><br>N</td></tr>
<tr><td><a href="Z3.html#TYPEnumeral_refined">numeral_refined</a> [<a href="Z3.html">Z3</a>]</td>
<td><div class="info">
[ <code class="code"> numeral_refined </code> ] is the refinement of a numeral .
</div>
</td></tr>
<tr><td align="left"><br>O</td></tr>
<tr><td><a href="X86Constraints.html#TYPEopnd_addr_constraint">opnd_addr_constraint</a> [<a href="X86Constraints.html">X86Constraints</a>]</td>
<td><div class="info">
Address size-related constraints for a list of operands.
</div>
</td></tr>
<tr><td><a href="X86Constraints.html#TYPEopnd_size_constraint">opnd_size_constraint</a> [<a href="X86Constraints.html">X86Constraints</a>]</td>
<td><div class="info">
Size-related constraints for a list of operands.
</div>
</td></tr>
<tr><td><a href="X86TypeCheck.html#TYPEopndsize">opndsize</a> [<a href="X86TypeCheck.html">X86TypeCheck</a>]</td>
<td><div class="info">
Sizes of operands.
</div>
</td></tr>
<tr><td><a href="JITRegion.html#TYPEoutstate">outstate</a> [<a href="JITRegion.html">JITRegion</a>]</td>
<td><div class="info">
That which goes out:  two output values and the flags.
</div>
</td></tr>
<tr><td align="left"><br>P</td></tr>
<tr><td><a href="Z3.html#TYPEparameter">parameter</a> [<a href="Z3.html">Z3</a>]</td>
<td></td></tr>
<tr><td><a href="Z3.html#TYPEparameter_kind">parameter_kind</a> [<a href="Z3.html">Z3</a>]</td>
<td></td></tr>
<tr><td><a href="Z3.html#TYPEpattern">pattern</a> [<a href="Z3.html">Z3</a>]</td>
<td></td></tr>
<tr><td align="left"><br>S</td></tr>
<tr><td><a href="Z3.html#TYPEsearch_failure">search_failure</a> [<a href="Z3.html">Z3</a>]</td>
<td></td></tr>
<tr><td><a href="Z3.html#TYPEsort">sort</a> [<a href="Z3.html">Z3</a>]</td>
<td></td></tr>
<tr><td><a href="Z3.html#TYPEsort_kind">sort_kind</a> [<a href="Z3.html">Z3</a>]</td>
<td></td></tr>
<tr><td><a href="Z3.html#TYPEsort_refined">sort_refined</a> [<a href="Z3.html">Z3</a>]</td>
<td></td></tr>
<tr><td><a href="Z3.html#TYPEsymbol">symbol</a> [<a href="Z3.html">Z3</a>]</td>
<td></td></tr>
<tr><td><a href="Z3.html#TYPEsymbol_kind">symbol_kind</a> [<a href="Z3.html">Z3</a>]</td>
<td></td></tr>
<tr><td><a href="Z3.html#TYPEsymbol_refined">symbol_refined</a> [<a href="Z3.html">Z3</a>]</td>
<td><div class="info">
[ <code class="code"> symbol_refined </code> ] is the refinement of a <a href="Z3.html#TYPEsymbol"><code class="code">Z3.symbol</code></a> .
</div>
</td></tr>
<tr><td align="left"><br>T</td></tr>
<tr><td><a href="JITRegion.html#TYPEt">t</a> [<a href="JITRegion.html">JITRegion</a>]</td>
<td><div class="info">
Opaque type of a JITtable memory region.
</div>
</td></tr>
<tr><td><a href="Z3.html#TYPEterm_refined">term_refined</a> [<a href="Z3.html">Z3</a>]</td>
<td><div class="info">
[ <code class="code"> term_refined </code> ] is the refinement of a <a href="Z3.html#TYPEast"><code class="code">Z3.ast</code></a> .
</div>
</td></tr>
<tr><td><a href="Z3.html#TYPEtheory">theory</a> [<a href="Z3.html">Z3</a>]</td>
<td></td></tr>
<tr><td><a href="Z3.html#TYPEtheory_data">theory_data</a> [<a href="Z3.html">Z3</a>]</td>
<td></td></tr>
<tr><td><a href="IR.html#TYPEtypeendian">typeendian</a> [<a href="IR.html">IR</a>]</td>
<td><div class="info">
Endianness of a memory.
</div>
</td></tr>
<tr><td><a href="IR.html#TYPEtypereg">typereg</a> [<a href="IR.html">IR</a>]</td>
<td><div class="info">
Sizes of register quantities.
</div>
</td></tr>
<tr><td align="left"><br>U</td></tr>
<tr><td><a href="IR.html#TYPEunop">unop</a> [<a href="IR.html">IR</a>]</td>
<td><div class="info">
Unops in the IR.
</div>
</td></tr>
<tr><td align="left"><br>V</td></tr>
<tr><td><a href="IR.html#TYPEvar">var</a> [<a href="IR.html">IR</a>]</td>
<td><div class="info">
Variable type.
</div>
</td></tr>
<tr><td align="left"><br>X</td></tr>
<tr><td><a href="X86.html#TYPEx86_addr_expr">x86_addr_expr</a> [<a href="X86.html">X86</a>]</td>
<td></td></tr>
<tr><td><a href="X86.html#TYPEx86_control_reg">x86_control_reg</a> [<a href="X86.html">X86</a>]</td>
<td></td></tr>
<tr><td><a href="X86.html#TYPEx86_debug_reg">x86_debug_reg</a> [<a href="X86.html">X86</a>]</td>
<td></td></tr>
<tr><td><a href="X86.html#TYPEx86_far_target">x86_far_target</a> [<a href="X86.html">X86</a>]</td>
<td></td></tr>
<tr><td><a href="X86.html#TYPEx86_flags">x86_flags</a> [<a href="X86.html">X86</a>]</td>
<td></td></tr>
<tr><td><a href="X86.html#TYPEx86_fpureg">x86_fpureg</a> [<a href="X86.html">X86</a>]</td>
<td></td></tr>
<tr><td><a href="X86.html#TYPEx86_general_reg">x86_general_reg</a> [<a href="X86.html">X86</a>]</td>
<td></td></tr>
<tr><td><a href="X86.html#TYPEx86_group1_prefix">x86_group1_prefix</a> [<a href="X86.html">X86</a>]</td>
<td></td></tr>
<tr><td><a href="X86.html#TYPEx86_immediate">x86_immediate</a> [<a href="X86.html">X86</a>]</td>
<td></td></tr>
<tr><td><a href="X86.html#TYPEx86_mem_expr">x86_mem_expr</a> [<a href="X86.html">X86</a>]</td>
<td></td></tr>
<tr><td><a href="X86.html#TYPEx86_mmxreg">x86_mmxreg</a> [<a href="X86.html">X86</a>]</td>
<td></td></tr>
<tr><td><a href="X86.html#TYPEx86_reg16">x86_reg16</a> [<a href="X86.html">X86</a>]</td>
<td></td></tr>
<tr><td><a href="X86.html#TYPEx86_reg32">x86_reg32</a> [<a href="X86.html">X86</a>]</td>
<td></td></tr>
<tr><td><a href="X86.html#TYPEx86_reg8">x86_reg8</a> [<a href="X86.html">X86</a>]</td>
<td></td></tr>
<tr><td><a href="X86.html#TYPEx86_segreg">x86_segreg</a> [<a href="X86.html">X86</a>]</td>
<td></td></tr>
<tr><td><a href="X86.html#TYPEx86_xmmreg">x86_xmmreg</a> [<a href="X86.html">X86</a>]</td>
<td></td></tr>
<tr><td><a href="X86.html#TYPEx86instr">x86instr</a> [<a href="X86.html">X86</a>]</td>
<td></td></tr>
<tr><td><a href="X86.html#TYPEx86instrpref">x86instrpref</a> [<a href="X86.html">X86</a>]</td>
<td></td></tr>
<tr><td><a href="X86.html#TYPEx86mnem">x86mnem</a> [<a href="X86.html">X86</a>]</td>
<td></td></tr>
<tr><td><a href="X86.html#TYPEx86operand">x86operand</a> [<a href="X86.html">X86</a>]</td>
<td></td></tr>
</table><br>
</body>
</html>