[eclipse-clp-users] How to declare a symbolic variable

From: Meriem Djefel <Meriem.DJEFEL_at_enstimac.fr>
Date: Tue, 22 Sep 2009 12:15:34 +0200
Deal All,
I have a model with mixed variables: real, integer  and symbolic variables.
The symbolic variable Motorization have the symbolic domain  
MotorisationDomaine = [un_Mot_ECO, un_Mot_BP,un_Mot_HP, deux_Mot_ECO, 
deux_Mot_BP,deux_Mot_HP]. I want to affect a precise value from its 
domain to the variable Motorization, because I want to write constraints 
like this :
(
        (Speed $= 300 , Motorization = un_Mot_ECO);
        (Speed $= 400 , Motorization = un_Mot_ECO))
) infers ic


How can I do this?

Thanks .




Received on Tue Sep 22 2009 - 11:58:01 CEST

This archive was generated by hypermail 2.2.0 : Thu Feb 02 2012 - 02:31:58 CET