libapron-ocaml-dev 0.9.10-6 / usr / share / doc / libapron-ocaml-dev / html / PolkaGrid.html

This file is indexed.

/usr/share/doc/libapron-ocaml-dev/html/PolkaGrid.html is in libapron-ocaml-dev 0.9.10-6.

This file is owned by root:root, with mode 0o644.

The actual contents of the file can be viewed below. 

  1
  2
  3
  4
  5
  6
  7
  8
  9
 10
 11
 12
 13
 14
 15
 16
 17
 18
 19
 20
 21
 22
 23
 24
 25
 26
 27
 28
 29
 30
 31
 32
 33
 34
 35
 36
 37
 38
 39
 40
 41
 42
 43
 44
 45
 46
 47
 48
 49
 50
 51
 52
 53
 54
 55
 56
 57
 58
 59
 60
 61
 62
 63
 64
 65
 66
 67
 68
 69
 70
 71
 72
 73
 74
 75
 76
 77
 78
 79
 80
 81
 82
 83
 84
 85
 86
 87
 88
 89
 90
 91
 92
 93
 94
 95
 96
 97
 98
 99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN">
<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 rel="previous" href="Ppl.html">
<link rel="next" href="Mpz.html">
<link rel="Up" 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="Introduction" rel="Chapter" href="Introduction.html">
<link title="Scalar" rel="Chapter" href="Scalar.html">
<link title="Interval" rel="Chapter" href="Interval.html">
<link title="Coeff" rel="Chapter" href="Coeff.html">
<link title="Dim" rel="Chapter" href="Dim.html">
<link title="Linexpr0" rel="Chapter" href="Linexpr0.html">
<link title="Lincons0" rel="Chapter" href="Lincons0.html">
<link title="Generator0" rel="Chapter" href="Generator0.html">
<link title="Texpr0" rel="Chapter" href="Texpr0.html">
<link title="Tcons0" rel="Chapter" href="Tcons0.html">
<link title="Manager" rel="Chapter" href="Manager.html">
<link title="Abstract0" rel="Chapter" href="Abstract0.html">
<link title="Var" rel="Chapter" href="Var.html">
<link title="Environment" rel="Chapter" href="Environment.html">
<link title="Linexpr1" rel="Chapter" href="Linexpr1.html">
<link title="Lincons1" rel="Chapter" href="Lincons1.html">
<link title="Generator1" rel="Chapter" href="Generator1.html">
<link title="Texpr1" rel="Chapter" href="Texpr1.html">
<link title="Tcons1" rel="Chapter" href="Tcons1.html">
<link title="Abstract1" rel="Chapter" href="Abstract1.html">
<link title="Parser" rel="Chapter" href="Parser.html">
<link title="Box" rel="Chapter" href="Box.html">
<link title="Oct" rel="Chapter" href="Oct.html">
<link title="Polka" rel="Chapter" href="Polka.html">
<link title="Ppl" rel="Chapter" href="Ppl.html">
<link title="PolkaGrid" rel="Chapter" href="PolkaGrid.html">
<link title="Mpz" rel="Chapter" href="Mpz.html">
<link title="Mpq" rel="Chapter" href="Mpq.html">
<link title="Gmp_random" rel="Chapter" href="Gmp_random.html">
<link title="Mpf" rel="Chapter" href="Mpf.html">
<link title="Mpfr" rel="Chapter" href="Mpfr.html">
<link title="Mpzf" rel="Chapter" href="Mpzf.html">
<link title="Mpqf" rel="Chapter" href="Mpqf.html">
<link title="Mpfrf" rel="Chapter" href="Mpfrf.html"><link title="Type conversions" rel="Section" href="#2_Typeconversions">
<link title="Compilation information" rel="Section" href="#2_Compilationinformation">
<link title="Bytecode compilation" rel="Subsection" href="#3_Bytecodecompilation">
<link title="Native-code compilation" rel="Subsection" href="#3_Nativecodecompilation">
<link title="Without auto-linking feature" rel="Subsection" href="#3_Withoutautolinkingfeature">
<title>PolkaGrid</title>
</head>
<body>
<div class="navbar"><a class="pre" href="Ppl.html" title="Ppl">Previous</a>
&nbsp;<a class="up" href="index.html" title="Index">Up</a>
&nbsp;<a class="post" href="Mpz.html" title="Mpz">Next</a>
</div>
<h1>Module <a href="type_PolkaGrid.html">PolkaGrid</a></h1>

<pre><span class="keyword">module</span> PolkaGrid: <code class="code"><span class="keyword">sig</span></code> <a href="PolkaGrid.html">..</a> <code class="code"><span class="keyword">end</span></code></pre><div class="info module top">
Reduced product of NewPolka polyhedra and PPL grids<br>
</div>
<hr width="100%">

<pre><span id="TYPEt"><span class="keyword">type</span> <code class="type">'a</code> t</span> </pre>
<div class="info ">
Type of abstract values, where <code class="code"><span class="keywordsign">'</span>a</code> is <code class="code"><span class="constructor">Polka</span>.loose</code> or <code class="code"><span class="constructor">Polka</span>.strict</code>.<br>
</div>


<pre><span id="VALmanager_alloc"><span class="keyword">val</span> manager_alloc</span> : <code class="type">'a <a href="Polka.html#TYPEt">Polka.t</a> Apron.Manager.t -><br>       <a href="Ppl.html#TYPEgrid">Ppl.grid</a> <a href="Ppl.html#TYPEt">Ppl.t</a> Apron.Manager.t -> 'a <a href="PolkaGrid.html#TYPEt">t</a> Apron.Manager.t</code></pre><div class="info ">
Create a PolkaGrid manager from a (loose or strict) polka manager, and a PPL grid manager<br>
</div>

<pre><span id="VALmanager_decompose"><span class="keyword">val</span> manager_decompose</span> : <code class="type">'a <a href="PolkaGrid.html#TYPEt">t</a> Apron.Manager.t -><br>       'a <a href="Polka.html#TYPEt">Polka.t</a> Apron.Manager.t * <a href="Ppl.html#TYPEgrid">Ppl.grid</a> <a href="Ppl.html#TYPEt">Ppl.t</a> Apron.Manager.t</code></pre><div class="info ">
Decompose the manager<br>
</div>

<pre><span id="VALdecompose"><span class="keyword">val</span> decompose</span> : <code class="type">'a <a href="PolkaGrid.html#TYPEt">t</a> Apron.Abstract0.t -><br>       'a <a href="Polka.html#TYPEt">Polka.t</a> Apron.Abstract0.t * <a href="Ppl.html#TYPEgrid">Ppl.grid</a> <a href="Ppl.html#TYPEt">Ppl.t</a> Apron.Abstract0.t</code></pre><div class="info ">
Decompose an abstract value<br>
</div>

<pre><span id="VALcompose"><span class="keyword">val</span> compose</span> : <code class="type">'a <a href="PolkaGrid.html#TYPEt">t</a> Apron.Manager.t -><br>       'a <a href="Polka.html#TYPEt">Polka.t</a> Apron.Abstract0.t -><br>       <a href="Ppl.html#TYPEgrid">Ppl.grid</a> <a href="Ppl.html#TYPEt">Ppl.t</a> Apron.Abstract0.t -> 'a <a href="PolkaGrid.html#TYPEt">t</a> Apron.Abstract0.t</code></pre><div class="info ">
Compose an abstract value<br>
</div>
<br>
<h2 id="2_Typeconversions">Type conversions</h2><br>

<pre><span id="VALmanager_is_polkagrid"><span class="keyword">val</span> manager_is_polkagrid</span> : <code class="type">'a Apron.Manager.t -> bool</code></pre><div class="info ">
Return <code class="code"><span class="keyword">true</span></code> iff the argument manager is a polkagrid manager<br>
</div>

<pre><span id="VALmanager_of_polkagrid"><span class="keyword">val</span> manager_of_polkagrid</span> : <code class="type">'a <a href="PolkaGrid.html#TYPEt">t</a> Apron.Manager.t -> 'b Apron.Manager.t</code></pre><div class="info ">
Makes a polkagrid manager generic<br>
</div>

<pre><span id="VALmanager_to_polkagrid"><span class="keyword">val</span> manager_to_polkagrid</span> : <code class="type">'a Apron.Manager.t -> 'b <a href="PolkaGrid.html#TYPEt">t</a> Apron.Manager.t</code></pre><div class="info ">
Instanciate the type of a polkagrid manager. 
      Raises <code class="code"><span class="constructor">Failure</span></code> if the argument manager is not a polkagrid manager<br>
</div>

<pre><span class="keyword">module</span> <a href="PolkaGrid.Abstract0.html">Abstract0</a>: <code class="code"><span class="keyword">sig</span></code> <a href="PolkaGrid.Abstract0.html">..</a> <code class="code"><span class="keyword">end</span></code></pre>
<pre><span class="keyword">module</span> <a href="PolkaGrid.Abstract1.html">Abstract1</a>: <code class="code"><span class="keyword">sig</span></code> <a href="PolkaGrid.Abstract1.html">..</a> <code class="code"><span class="keyword">end</span></code></pre><br>
<h2 id="2_Compilationinformation">Compilation information</h2>
<p>

See <a href="Introduction.html#compilation"><i>Compiling and linking client programs against APRON</i></a> for complete explanations.
We just show examples with the file <code class="code">mlexample.ml</code>.
<p>

Do not forget the <code class="code">-cc <span class="string">"g++"</span></code> option: PPL is a C++ library which requires
a C++ linker.
<p>

<h3 id="3_Bytecodecompilation">Bytecode compilation</h3>
<p>

<pre class="codepre"><code class="code">ocamlc -cc "g++"-I $MLGMPIDL_PREFIX/lib -I $APRON_PREFIX/lib -o mlexample.byte \
  bigarray.cma gmp.cma apron.cma polkaMPQ.cma ppl.cma polkaGrid.cma mlexample.ml</code></pre>
<p>

<pre class="codepre"><code class="code">ocamlc -cc "g++" -I $MLGMPIDL_PREFIX/lib -I $APRON_PREFIX/lib -make-runtime -o myrun \
  bigarray.cma gmp.cma apron.cma polkaMPQ.cma ppl.cma polkaGrid.cma 

ocamlc -cc "g++" -I $MLGMPIDL_PREFIX/lib -I $APRON_PREFIX/lib -use-runtime myrun -o mlexample.byte \
  bigarray.cma gmp.cma apron.cma polkaMPQ.cma ppl.cma polkaGrid.cma mlexample.ml </code></pre>
<p>

<h3 id="3_Nativecodecompilation">Native-code compilation</h3>
<p>

<pre class="codepre"><code class="code">ocamlopt -cc "g++" -I $MLGMPIDL_PREFIX/lib -I $APRON_PREFIX/lib -o mlexample.opt \
  bigarray.cmxa gmp.cmxa apron.cmxa polkaMPQ.cmxa ppl.cmxa polkaGrid.cmxa mlexample.ml </code></pre>
<p>

<h3 id="3_Withoutautolinkingfeature">Without auto-linking feature</h3>
<p>

<pre class="codepre"><code class="code">ocamlopt -cc "g++" -I $MLGMPIDL_PREFIX/lib -I $APRON_PREFIX/lib -noautolink -o mlexample.opt \
  bigarray.cmxa gmp.cmxa apron.cmxa polkaMPQ.cmxa ppl.cmxa polkaGrid.cmxa mlexample.ml \
  -cclib "-L$MLGMPIDL_PREFIX/lib -L$APRON_PREFIX/lib -L$PPL_PREFIX/lib \
          -lpolkaGrid_caml_debug -lap_pkgrid_debug \
          -lpolkaMPQ_caml_debug -lpolkaMPQ_debug \
	  -lap_ppl_caml_debug -lap_ppl_debug -lppl -lgmpxx \
	  -lapron_caml_debug -lapron_debug \
	  -lgmp_caml -L$MPFR_PREFIX/lib -lmpfr -L$GMP_PREFIX/lib -lgmp \
	  -L$CAMLIDL_PREFIX/lib/ocaml -lcamlidl \
	  -lbigarray" </code></pre><br>
</body></html>

APT Browse - Built by Thomas Orozco.