source: vis_dev/glu-2.3/src/calBdd/calExtAbs.html @ 26

Last change on this file since 26 was 13, checked in by cecile, 13 years ago

library glu 2.3
File size: 18.5 KB
Line 
1<html>
2<head><title>cal package abstract</title></head>
3<body>
4
5
6<!-- Function Abstracts -->
7
8<dl>
9<dt> <a href="calAllDet.html#Cal_AssociationInit" TARGET="MAIN"><code>Cal_AssociationInit()</code></a>
10<dd> Creates or finds a variable association.
11
12<dt> <a href="calAllDet.html#Cal_AssociationQuit" TARGET="MAIN"><code>Cal_AssociationQuit()</code></a>
13<dd> Deletes the variable association given by id
14
15<dt> <a href="calAllDet.html#Cal_AssociationSetCurrent" TARGET="MAIN"><code>Cal_AssociationSetCurrent()</code></a>
16<dd> Sets the current variable association to the one given by id and
17  returns the ID of the old association.
18
19<dt> <a href="calAllDet.html#Cal_BddAnd" TARGET="MAIN"><code>Cal_BddAnd()</code></a>
20<dd> Returns the BDD for logical AND of argument BDDs
21
22<dt> <a href="calAllDet.html#Cal_BddBetween" TARGET="MAIN"><code>Cal_BddBetween()</code></a>
23<dd> Returns a minimal BDD whose function contains fMin and is
24  contained in fMax.
25
26<dt> <a href="calAllDet.html#Cal_BddCofactor" TARGET="MAIN"><code>Cal_BddCofactor()</code></a>
27<dd> Returns the generalized cofactor of BDD f with respect
28  to BDD c.
29
30<dt> <a href="calAllDet.html#Cal_BddCompose" TARGET="MAIN"><code>Cal_BddCompose()</code></a>
31<dd> composition - substitute a BDD variable by a function
32
33<dt> <a href="calAllDet.html#Cal_BddDependsOn" TARGET="MAIN"><code>Cal_BddDependsOn()</code></a>
34<dd> Returns 1 if f depends on var and returns 0 otherwise.
35
36<dt> <a href="calAllDet.html#Cal_BddDumpBdd" TARGET="MAIN"><code>Cal_BddDumpBdd()</code></a>
37<dd> Write a BDD to a file
38
39<dt> <a href="calAllDet.html#Cal_BddDynamicReordering" TARGET="MAIN"><code>Cal_BddDynamicReordering()</code></a>
40<dd> Specify dynamic reordering technique.
41
42<dt> <a href="calAllDet.html#Cal_BddElse" TARGET="MAIN"><code>Cal_BddElse()</code></a>
43<dd> Returns the negative cofactor of the argument BDD with
44  respect to the top variable of the BDD.
45
46<dt> <a href="calAllDet.html#Cal_BddExists" TARGET="MAIN"><code>Cal_BddExists()</code></a>
47<dd> Returns the result of existentially quantifying some
48  variables from the given BDD.
49
50<dt> <a href="calAllDet.html#Cal_BddForAll" TARGET="MAIN"><code>Cal_BddForAll()</code></a>
51<dd> Returns the result of universally quantifying some
52  variables from the given BDD.
53
54<dt> <a href="calAllDet.html#Cal_BddFree" TARGET="MAIN"><code>Cal_BddFree()</code></a>
55<dd> Frees the argument BDD.
56
57<dt> <a href="calAllDet.html#Cal_BddFunctionPrint" TARGET="MAIN"><code>Cal_BddFunctionPrint()</code></a>
58<dd> Prints the function implemented by the argument BDD
59
60<dt> <a href="calAllDet.html#Cal_BddFunctionProfileMultiple" TARGET="MAIN"><code>Cal_BddFunctionProfileMultiple()</code></a>
61<dd> Returns a "function profile" for fArray.
62
63<dt> <a href="calAllDet.html#Cal_BddFunctionProfile" TARGET="MAIN"><code>Cal_BddFunctionProfile()</code></a>
64<dd> Returns a "function profile" for f.
65
66<dt> <a href="calAllDet.html#Cal_BddGetIfId" TARGET="MAIN"><code>Cal_BddGetIfId()</code></a>
67<dd> Returns the id of the top variable of the argument BDD.
68
69<dt> <a href="calAllDet.html#Cal_BddGetIfIndex" TARGET="MAIN"><code>Cal_BddGetIfIndex()</code></a>
70<dd> Returns the index of the top variable of the argument BDD.
71
72<dt> <a href="calAllDet.html#Cal_BddGetRegular" TARGET="MAIN"><code>Cal_BddGetRegular()</code></a>
73<dd> Returns a BDD with positive from a given BDD with arbitrary phase
74
75<dt> <a href="calAllDet.html#Cal_BddITE" TARGET="MAIN"><code>Cal_BddITE()</code></a>
76<dd> Returns the BDD for logical If-Then-Else
77
78  Description [Returns the BDD for the logical operation IF f THEN g ELSE h
79  - f g + f' h
80
81<dt> <a href="calAllDet.html#Cal_BddIdentity" TARGET="MAIN"><code>Cal_BddIdentity()</code></a>
82<dd> Returns the duplicate BDD of the argument BDD.
83
84<dt> <a href="calAllDet.html#Cal_BddIf" TARGET="MAIN"><code>Cal_BddIf()</code></a>
85<dd> Returns the BDD corresponding to the top variable of
86  the argument BDD.
87
88<dt> <a href="calAllDet.html#Cal_BddImplies" TARGET="MAIN"><code>Cal_BddImplies()</code></a>
89<dd> Computes a BDD that implies conjunction of f and Cal_BddNot(g)
90
91<dt> <a href="calAllDet.html#Cal_BddIntersects" TARGET="MAIN"><code>Cal_BddIntersects()</code></a>
92<dd> Computes a BDD that implies conjunction of f and g.
93
94<dt> <a href="calAllDet.html#Cal_BddIsBddConst" TARGET="MAIN"><code>Cal_BddIsBddConst()</code></a>
95<dd> Returns 1 if the argument BDD is a constant, 0 otherwise.
96
97<dt> <a href="calAllDet.html#Cal_BddIsBddNull" TARGET="MAIN"><code>Cal_BddIsBddNull()</code></a>
98<dd> Returns 1 if the argument BDD is NULL, 0 otherwise.
99
100<dt> <a href="calAllDet.html#Cal_BddIsBddOne" TARGET="MAIN"><code>Cal_BddIsBddOne()</code></a>
101<dd> Returns 1 if the argument BDD is constant one, 0 otherwise.
102
103<dt> <a href="calAllDet.html#Cal_BddIsBddZero" TARGET="MAIN"><code>Cal_BddIsBddZero()</code></a>
104<dd> Returns 1 if the argument BDD is constant zero, 0 otherwise.
105
106<dt> <a href="calAllDet.html#Cal_BddIsCube" TARGET="MAIN"><code>Cal_BddIsCube()</code></a>
107<dd> Returns 1 if the argument BDD is a cube, 0 otherwise
108
109<dt> <a href="calAllDet.html#Cal_BddIsEqual" TARGET="MAIN"><code>Cal_BddIsEqual()</code></a>
110<dd> Returns 1 if argument BDDs are equal, 0 otherwise.
111
112<dt> <a href="calAllDet.html#Cal_BddIsProvisional" TARGET="MAIN"><code>Cal_BddIsProvisional()</code></a>
113<dd> Returns 1, if the given user BDD contains
114  provisional BDD node.
115
116<dt> <a href="calAllDet.html#Cal_BddManagerCreateNewVarAfter" TARGET="MAIN"><code>Cal_BddManagerCreateNewVarAfter()</code></a>
117<dd> Creates and returns a new variable after the specified one in
118  the variable  order.
119
120<dt> <a href="calAllDet.html#Cal_BddManagerCreateNewVarBefore" TARGET="MAIN"><code>Cal_BddManagerCreateNewVarBefore()</code></a>
121<dd> Creates and returns a new variable before the specified one in
122  the variable order.
123
124<dt> <a href="calAllDet.html#Cal_BddManagerCreateNewVarFirst" TARGET="MAIN"><code>Cal_BddManagerCreateNewVarFirst()</code></a>
125<dd> Creates and returns a new variable at the start of the variable
126  order.
127
128<dt> <a href="calAllDet.html#Cal_BddManagerCreateNewVarLast" TARGET="MAIN"><code>Cal_BddManagerCreateNewVarLast()</code></a>
129<dd> Creates and returns a new variable at the end of the variable
130  order.
131
132<dt> <a href="calAllDet.html#Cal_BddManagerGC" TARGET="MAIN"><code>Cal_BddManagerGC()</code></a>
133<dd> Invokes the garbage collection at the manager level.
134
135<dt> <a href="calAllDet.html#Cal_BddManagerGetHooks" TARGET="MAIN"><code>Cal_BddManagerGetHooks()</code></a>
136<dd> Returns the hooks field of the manager.
137
138<dt> <a href="calAllDet.html#Cal_BddManagerGetNumNodes" TARGET="MAIN"><code>Cal_BddManagerGetNumNodes()</code></a>
139<dd> Returns the number of BDD nodes
140
141<dt> <a href="calAllDet.html#Cal_BddManagerGetVarWithId" TARGET="MAIN"><code>Cal_BddManagerGetVarWithId()</code></a>
142<dd> Returns the variable with the specified id, null if no
143  such variable exists
144
145<dt> <a href="calAllDet.html#Cal_BddManagerGetVarWithIndex" TARGET="MAIN"><code>Cal_BddManagerGetVarWithIndex()</code></a>
146<dd> Returns the variable with the specified index, null if no
147  such variable exists
148
149<dt> <a href="calAllDet.html#Cal_BddManagerInit" TARGET="MAIN"><code>Cal_BddManagerInit()</code></a>
150<dd> Creates and initializes a new BDD manager.
151
152<dt> <a href="calAllDet.html#Cal_BddManagerQuit" TARGET="MAIN"><code>Cal_BddManagerQuit()</code></a>
153<dd> Frees the BDD manager and all the associated allocations
154
155<dt> <a href="calAllDet.html#Cal_BddManagerSetGCLimit" TARGET="MAIN"><code>Cal_BddManagerSetGCLimit()</code></a>
156<dd> Sets the limit of the garbage collection.
157
158<dt> <a href="calAllDet.html#Cal_BddManagerSetHooks" TARGET="MAIN"><code>Cal_BddManagerSetHooks()</code></a>
159<dd> Sets the hooks field of the manager.
160
161<dt> <a href="calAllDet.html#Cal_BddManagerSetParameters" TARGET="MAIN"><code>Cal_BddManagerSetParameters()</code></a>
162<dd> Sets appropriate fields of BDD Manager.
163
164<dt> <a href="calAllDet.html#Cal_BddMultiwayAnd" TARGET="MAIN"><code>Cal_BddMultiwayAnd()</code></a>
165<dd> Returns the BDD for logical AND of argument BDDs
166
167<dt> <a href="calAllDet.html#Cal_BddMultiwayOr" TARGET="MAIN"><code>Cal_BddMultiwayOr()</code></a>
168<dd> Returns the BDD for logical OR of argument BDDs
169
170<dt> <a href="calAllDet.html#Cal_BddMultiwayXor" TARGET="MAIN"><code>Cal_BddMultiwayXor()</code></a>
171<dd> Returns the BDD for logical XOR of argument BDDs
172
173<dt> <a href="calAllDet.html#Cal_BddNand" TARGET="MAIN"><code>Cal_BddNand()</code></a>
174<dd> Returns the BDD for logical NAND of argument BDDs
175
176<dt> <a href="calAllDet.html#Cal_BddNewVarBlock" TARGET="MAIN"><code>Cal_BddNewVarBlock()</code></a>
177<dd> Creates and returns a variable block used for
178  controlling dynamic reordering.
179
180<dt> <a href="calAllDet.html#Cal_BddNodeLimit" TARGET="MAIN"><code>Cal_BddNodeLimit()</code></a>
181<dd> Sets the node limit to new_limit and returns the old limit.
182
183<dt> <a href="calAllDet.html#Cal_BddNor" TARGET="MAIN"><code>Cal_BddNor()</code></a>
184<dd> Returns the BDD for logical NOR of argument BDDs
185
186<dt> <a href="calAllDet.html#Cal_BddNot" TARGET="MAIN"><code>Cal_BddNot()</code></a>
187<dd> Returns the complement of the argument BDD.
188
189<dt> <a href="calAllDet.html#Cal_BddOne" TARGET="MAIN"><code>Cal_BddOne()</code></a>
190<dd> Returns the BDD for the constant one
191
192<dt> <a href="calAllDet.html#Cal_BddOr" TARGET="MAIN"><code>Cal_BddOr()</code></a>
193<dd> Returns the BDD for logical OR of argument BDDs
194
195<dt> <a href="calAllDet.html#Cal_BddOverflow" TARGET="MAIN"><code>Cal_BddOverflow()</code></a>
196<dd> Returns 1 if the node limit has been exceeded, 0 otherwise. The
197  overflow flag is cleared.
198
199<dt> <a href="calAllDet.html#Cal_BddPairwiseAnd" TARGET="MAIN"><code>Cal_BddPairwiseAnd()</code></a>
200<dd> Returns an array of BDDs obtained by logical AND of BDD pairs
201  specified by an BDD array in which a BDD at an even location is paired with
202  a BDD at an odd location of the array
203
204<dt> <a href="calAllDet.html#Cal_BddPairwiseOr" TARGET="MAIN"><code>Cal_BddPairwiseOr()</code></a>
205<dd> Returns an array of BDDs obtained by logical OR of BDD pairs
206  specified by an BDD array in which a BDD at an even location is paired with
207  a BDD at an odd location of the array
208
209<dt> <a href="calAllDet.html#Cal_BddPairwiseXor" TARGET="MAIN"><code>Cal_BddPairwiseXor()</code></a>
210<dd> Returns an array of BDDs obtained by logical XOR of BDD pairs
211  specified by an BDD array in which a BDD at an even location is paired with
212  a BDD at an odd location of the array
213
214<dt> <a href="calAllDet.html#Cal_BddPrintBdd" TARGET="MAIN"><code>Cal_BddPrintBdd()</code></a>
215<dd> Prints a BDD in the human readable form.
216
217<dt> <a href="calAllDet.html#Cal_BddPrintFunctionProfileMultiple" TARGET="MAIN"><code>Cal_BddPrintFunctionProfileMultiple()</code></a>
218<dd> Cal_BddPrintFunctionProfileMultiple is like
219               Cal_BddPrintFunctionProfile except for multiple BDDs
220
221<dt> <a href="calAllDet.html#Cal_BddPrintFunctionProfile" TARGET="MAIN"><code>Cal_BddPrintFunctionProfile()</code></a>
222<dd> Cal_BddPrintFunctionProfile is like Cal_BddPrintProfile except
223               it displays a function profile for f
224
225<dt> <a href="calAllDet.html#Cal_BddPrintProfileMultiple" TARGET="MAIN"><code>Cal_BddPrintProfileMultiple()</code></a>
226<dd> Cal_BddPrintProfileMultiple is like Cal_BddPrintProfile except
227               it displays the profile for a set of BDDs
228
229<dt> <a href="calAllDet.html#Cal_BddPrintProfile" TARGET="MAIN"><code>Cal_BddPrintProfile()</code></a>
230<dd> Displays the node profile for f on fp. lineLength specifies
231               the maximum line length.  varNamingFn is as in
232               Cal_BddPrintBdd.
233
234<dt> <a href="calAllDet.html#Cal_BddProfileMultiple" TARGET="MAIN"><code>Cal_BddProfileMultiple()</code></a>
235<dd> 
236
237<dt> <a href="calAllDet.html#Cal_BddProfile" TARGET="MAIN"><code>Cal_BddProfile()</code></a>
238<dd> Returns a "node profile" of f, i.e., the number of nodes at each
239  level in f.
240
241<dt> <a href="calAllDet.html#Cal_BddReduce" TARGET="MAIN"><code>Cal_BddReduce()</code></a>
242<dd> Returns a BDD which agrees with f for all valuations
243  which satisfy c.
244
245<dt> <a href="calAllDet.html#Cal_BddRelProd" TARGET="MAIN"><code>Cal_BddRelProd()</code></a>
246<dd> Returns the result of taking the logical AND of the
247  argument BDDs and existentially quantifying some variables from the
248  product.
249
250<dt> <a href="calAllDet.html#Cal_BddReorder" TARGET="MAIN"><code>Cal_BddReorder()</code></a>
251<dd> Invoke the current dynamic reodering method.
252
253<dt> <a href="calAllDet.html#Cal_BddSatisfySupport" TARGET="MAIN"><code>Cal_BddSatisfySupport()</code></a>
254<dd> Returns a special cube contained in f.
255
256<dt> <a href="calAllDet.html#Cal_BddSatisfyingFraction" TARGET="MAIN"><code>Cal_BddSatisfyingFraction()</code></a>
257<dd> Returns the fraction of valuations which make f true. (Note that
258  this fraction is independent of whatever set of variables f is supposed to be
259  a function of)
260
261<dt> <a href="calAllDet.html#Cal_BddSatisfy" TARGET="MAIN"><code>Cal_BddSatisfy()</code></a>
262<dd> Returns a BDD which implies f, true for
263               some valuation on which f is true, and which has at most
264               one node at each level
265
266<dt> <a href="calAllDet.html#Cal_BddSetGCMode" TARGET="MAIN"><code>Cal_BddSetGCMode()</code></a>
267<dd> Sets the garbage collection mode, 0 means the garbage
268  collection should be turned off, 1 means garbage collection should
269  be on.
270
271<dt> <a href="calAllDet.html#Cal_BddSizeMultiple" TARGET="MAIN"><code>Cal_BddSizeMultiple()</code></a>
272<dd> The routine is like Cal_BddSize, but takes a null-terminated
273               array of BDDs and accounts for sharing of nodes.
274
275<dt> <a href="calAllDet.html#Cal_BddSize" TARGET="MAIN"><code>Cal_BddSize()</code></a>
276<dd> Returns the number of nodes in f when negout is nonzero. If
277  negout is zero, we pretend that the BDDs don't have negative-output pointers.
278
279<dt> <a href="calAllDet.html#Cal_BddStats" TARGET="MAIN"><code>Cal_BddStats()</code></a>
280<dd> Prints miscellaneous BDD statistics
281
282<dt> <a href="calAllDet.html#Cal_BddSubstitute" TARGET="MAIN"><code>Cal_BddSubstitute()</code></a>
283<dd> Substitute a set of variables by functions
284
285<dt> <a href="calAllDet.html#Cal_BddSupport" TARGET="MAIN"><code>Cal_BddSupport()</code></a>
286<dd> returns the support of f as a null-terminated array of variables
287
288<dt> <a href="calAllDet.html#Cal_BddSwapVars" TARGET="MAIN"><code>Cal_BddSwapVars()</code></a>
289<dd> Return a function obtained by swapping two variables
290
291<dt> <a href="calAllDet.html#Cal_BddThen" TARGET="MAIN"><code>Cal_BddThen()</code></a>
292<dd> Returns the positive cofactor of the argument BDD with
293  respect to the top variable of the BDD.
294
295<dt> <a href="calAllDet.html#Cal_BddTotalSize" TARGET="MAIN"><code>Cal_BddTotalSize()</code></a>
296<dd> Returns the number of nodes in the Unique table
297
298<dt> <a href="calAllDet.html#Cal_BddType" TARGET="MAIN"><code>Cal_BddType()</code></a>
299<dd> Returns type of a BDD ( 0, 1, +var, -var, ovrflow, nonterminal)
300
301<dt> <a href="calAllDet.html#Cal_BddUnFree" TARGET="MAIN"><code>Cal_BddUnFree()</code></a>
302<dd> Unfrees the argument BDD.
303
304<dt> <a href="calAllDet.html#Cal_BddUndumpBdd" TARGET="MAIN"><code>Cal_BddUndumpBdd()</code></a>
305<dd> Reads a BDD from a file
306
307<dt> <a href="calAllDet.html#Cal_BddVarBlockReorderable" TARGET="MAIN"><code>Cal_BddVarBlockReorderable()</code></a>
308<dd> Sets the reoderability of a particular block.
309
310<dt> <a href="calAllDet.html#Cal_BddVarSubstitute" TARGET="MAIN"><code>Cal_BddVarSubstitute()</code></a>
311<dd> Substitute a set of variables by set of another variables.
312
313<dt> <a href="calAllDet.html#Cal_BddVars" TARGET="MAIN"><code>Cal_BddVars()</code></a>
314<dd> Returns the number of BDD variables
315
316<dt> <a href="calAllDet.html#Cal_BddXnor" TARGET="MAIN"><code>Cal_BddXnor()</code></a>
317<dd> Returns the BDD for logical exclusive NOR of argument BDDs
318
319<dt> <a href="calAllDet.html#Cal_BddXor" TARGET="MAIN"><code>Cal_BddXor()</code></a>
320<dd> Returns the BDD for logical exclusive OR of argument BDDs
321
322<dt> <a href="calAllDet.html#Cal_BddZero" TARGET="MAIN"><code>Cal_BddZero()</code></a>
323<dd> Returns the BDD for the constant zero
324
325<dt> <a href="calAllDet.html#Cal_MemAllocation" TARGET="MAIN"><code>Cal_MemAllocation()</code></a>
326<dd> Returns the memory allocated.
327
328<dt> <a href="calAllDet.html#Cal_MemFatal" TARGET="MAIN"><code>Cal_MemFatal()</code></a>
329<dd> Prints an error message and exits.
330
331<dt> <a href="calAllDet.html#Cal_MemFreeBlock" TARGET="MAIN"><code>Cal_MemFreeBlock()</code></a>
332<dd> Frees the block.
333
334<dt> <a href="calAllDet.html#Cal_MemFreeRecMgr" TARGET="MAIN"><code>Cal_MemFreeRecMgr()</code></a>
335<dd> Frees all the storage associated with the specified record manager.
336
337<dt> <a href="calAllDet.html#Cal_MemFreeRec" TARGET="MAIN"><code>Cal_MemFreeRec()</code></a>
338<dd> Frees a record managed by the indicated record manager.
339
340<dt> <a href="calAllDet.html#Cal_MemGetBlock" TARGET="MAIN"><code>Cal_MemGetBlock()</code></a>
341<dd> Allocates a new block of the specified size.
342
343<dt> <a href="calAllDet.html#Cal_MemNewRecMgr" TARGET="MAIN"><code>Cal_MemNewRecMgr()</code></a>
344<dd> Creates a new record manager with the given  record size.
345
346<dt> <a href="calAllDet.html#Cal_MemNewRec" TARGET="MAIN"><code>Cal_MemNewRec()</code></a>
347<dd> Allocates a record from the specified record manager.
348
349<dt> <a href="calAllDet.html#Cal_MemResizeBlock" TARGET="MAIN"><code>Cal_MemResizeBlock()</code></a>
350<dd> Expands or contracts the block to a new size.
351  We try to avoid moving the block if possible.
352
353<dt> <a href="calAllDet.html#Cal_PerformanceTest" TARGET="MAIN"><code>Cal_PerformanceTest()</code></a>
354<dd> Main routine for testing performances of various routines.
355
356<dt> <a href="calAllDet.html#Cal_PipelineCreateProvisionalBdd" TARGET="MAIN"><code>Cal_PipelineCreateProvisionalBdd()</code></a>
357<dd> Create a provisional BDD in the pipeline.
358
359<dt> <a href="calAllDet.html#Cal_PipelineExecute" TARGET="MAIN"><code>Cal_PipelineExecute()</code></a>
360<dd> Executes a pipeline.
361
362<dt> <a href="calAllDet.html#Cal_PipelineInit" TARGET="MAIN"><code>Cal_PipelineInit()</code></a>
363<dd> Initialize a BDD pipeline.
364
365<dt> <a href="calAllDet.html#Cal_PipelineQuit" TARGET="MAIN"><code>Cal_PipelineQuit()</code></a>
366<dd> Resets the pipeline freeing all resources.
367
368<dt> <a href="calAllDet.html#Cal_PipelineSetDepth" TARGET="MAIN"><code>Cal_PipelineSetDepth()</code></a>
369<dd> Set depth of a BDD pipeline.
370
371<dt> <a href="calAllDet.html#Cal_PipelineUpdateProvisionalBdd" TARGET="MAIN"><code>Cal_PipelineUpdateProvisionalBdd()</code></a>
372<dd> Update a provisional Bdd obtained during pipelining.
373
374<dt> <a href="calAllDet.html#Cal_TempAssociationAugment" TARGET="MAIN"><code>Cal_TempAssociationAugment()</code></a>
375<dd> Adds to the temporary variable association.
376
377<dt> <a href="calAllDet.html#Cal_TempAssociationInit" TARGET="MAIN"><code>Cal_TempAssociationInit()</code></a>
378<dd> Sets the temporary variable association.
379
380<dt> <a href="calAllDet.html#Cal_TempAssociationQuit" TARGET="MAIN"><code>Cal_TempAssociationQuit()</code></a>
381<dd> Cleans up temporary association
382
383</dl>
384
385<hr>
386
387Last updated on 970711 20h11
388</body></html>
Note: See TracBrowser for help on using the repository browser.