Re: constraint #\/

From: Joachim Schimpf <j.schimpf_at_icparc.ic.ac.uk>
Date: Fri 19 Oct 2001 06:44:54 PM GMT
Message-ID: <3BD074A6.3A44C144@icparc.ic.ac.uk>
Tzikas Dimitrios wrote:
> 
> I noticed that when trying  " element(1,[1],1) #\/ 1#=1. "  the response I
> get is No.

The manual says that #\/ accepts "constraint expressions"
on both sides, that means essentially all the constraints
that start with #.  More precisely, the accepted constraints
are only those for which a "reified" version exists.

The error reporting could obviously be improved...

-- 
 Joachim Schimpf              /             phone: +44 20 7594 8187
 IC-Parc, Imperial College   /            mailto:J.Schimpf@ic.ac.uk
 London SW7 2AZ, UK         /    http://www.icparc.ic.ac.uk/eclipse
Received on Fri Oct 19 19:44:57 2001

This archive was generated by hypermail 2.1.8 : Wed 16 Nov 2005 06:07:10 PM GMT GMT