Re: syntax error: postfix/infix operator expected

From: Andrew John Sadler <ajs2_at_icparc.ic.ac.uk>
Date: Fri 24 May 2002 08:30:24 AM GMT
Message-Id: <E17BASu-00078K-00@ilford.icparc.ic.ac.uk> 
   Envelope-to: eclipse-users-outbound@icparc.ic.ac.uk
   Delivery-date: Fri, 24 May 2002 10:17:56 +0100
   Date: Fri, 24 May 2002 11:07:56 +0200
   From: Jesper Hansen <jesperh@skydebanen.net>
   Reply-To: jha@imm.dtu.dk
   Organization: DTU
   X-Accept-Language: en
   Content-Type: text/plain; charset=us-ascii
   Sender: owner-eclipse-users@icparc.ic.ac.uk
   Precedence: bulk

   Hi

   I get the error "syntax error: postfix/infix operator expected" in the
   line

    Gij #= 1 #=> X + LI #<= SX,
	       ^ here

   What is the problem?  Thanks in advance.

   'Jesper


Hi Jesper,

I assume that you are now using the IC library instead of the FD
library.  In the IC library, the reified connectives were re-named to
'and', 'or', '=>', so you code snippet would become...

Gij #= 1 => X + LI #=< SX

Note also that the #<= convenience has been removed to become more
consistent with other solvers and so you must use #=< instead.

If you have any problems let us know.

Andrew Sadler
Received on Fri May 24 10:30:37 2002

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