On Wed, Mar 29, 2006 at 12:03:05PM -0800, Jay Foster wrote: > I have a CDL package that contains a cdl_interface (call it CYGINT_X) and a > boolean cdl_option (call it CYGOPT_X). The cdl_option is only active when > the cdl_interface is implemented (active_if CYGINT_X). > > It is valid to have 0, 1, 2, or more implementors of CYGINT_X. > > For another cdl_option, I would like to add some kind of constraint > (requires statement?) that does the following: > > If the CGYINT_X is implemented by one or more implementors (CYGINT_X > > 0), require CYGOPT_X to be 0 (false). > if the CYGINT_X interface is not implemented, then don't care about > CYGOPT_X (it is not active anyway).
Try CYGINT_X implies CYGOPT_X == 0 http://ecos.sourceware.org/docs-latest/cdl-guide/language.values.html#LANGUAGE.EXPRESSION Andrew -- Before posting, please read the FAQ: http://ecos.sourceware.org/fom/ecos and search the list archive: http://ecos.sourceware.org/ml/ecos-discuss
