non-deterministic external predicate in C++ ?

From: Manuel Weindorf <weindorf_at_ipf.bau-verm.uni-karlsruhe.de>
Date: Mon 01 Oct 2001 06:25:23 PM GMT
Message-Id: <m15o7eu-000G3TC@ipfy.bau-verm.uni-karlsruhe.de>

Hi,

does anybody have a piece of example code in C++ for creating an external 
predicate which allows backtracking ??

Thanks a lot ..

Manuel
-- 
Manuel Weindorf (weindorf@ipf.uni-karlsruhe.de)

Received on Mon Oct 01 19:22:26 2001

This message: [ Message body ]
Next message: Joachim Schimpf: "Re: non-deterministic external predicate in C++ ?"
Previous message: Aykut Firat: "Re: Windows 2000"
Next in thread: Joachim Schimpf: "Re: non-deterministic external predicate in C++ ?"
Reply: Joachim Schimpf: "Re: non-deterministic external predicate in C++ ?"

Mail actions: [ respond to this message ] [ mail a new topic ]
Contemporary messages sorted: [ By Date ] [ By Thread ] [ By Subject ] [ By Author ] [ By messages with attachments ]

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