|
Is it possible to define any clause with variables left unbound?
domains ref_int = reference integer ref_int_list = ref_int* You should not write: domains list = reference integer* since in this case all integers in the module will be treated by the compiler as belonging to the reference domain. The result can be unpredictable - especially in the case of global domains. GPF can be general reaction. |