[eclipse-clp-users] Saving information

From: Christian Wirth <tyrion_at_...215...>
Date: Fri, 26 Mar 2010 14:30:34 +0100
Hi,

i need to save a dynamic datastructure (currently a list, but will 
become a tree in a future version) for further use.
How to ?
The first idea i had is, creating dynamic clauses out of the list 
elements and adding them, but that seems not practical to me.
Is it possible to save the datastructure itself ?

best regards Christian Wirth
Received on Fri Mar 26 2010 - 13:56:31 CET

This archive was generated by hypermail 2.3.0 : Thu Feb 22 2024 - 18:13:20 CET