From - Mon Nov  4 12:13:38 2002
Return-Path: <designCPN-owner@daimi.au.dk>
Delivered-To: desgncpn@daimi.au.dk
Received: by daimi.au.dk (Postfix, from userid 1)
	id AA3BA3C030; Mon,  4 Nov 2002 11:13:25 +0100 (CET)
To: designcpn-approval@daimi.au.dk
From: designCPN-owner@daimi.au.dk
Subject: BOUNCE designcpn@daimi.au.dk: Approval required:     
Message-Id: <20021104101325.AA3BA3C030@daimi.au.dk>
Date: Mon,  4 Nov 2002 11:13:25 +0100 (CET)
X-UIDL: "fB!!KJN!!]OG!!%lH"!
Status: RO

>From desgncpn@daimi.au.dk Mon Nov  4 11:13:25 2002
Received: from kweetal.tue.nl (kweetal.tue.nl [131.155.2.7])
	by daimi.au.dk (8.11.6/8.11.6) with ESMTP id gA4ADMf06103
	for <designCPN@daimi.au.dk>; Mon, 4 Nov 2002 11:13:23 +0100
Received: from svbcf02.win.tue.nl (svbcf02.win.tue.nl [131.155.71.100])
	by kweetal.tue.nl (8.12.3/8.12.3) with ESMTP id gA4ADXig31731963
	for <designCPN@daimi.au.dk>; Mon, 4 Nov 2002 11:13:33 +0100 (MET)
Received: from win.tue.nl (pcnov257 [131.155.69.128])
	by svbcf02.win.tue.nl (8.11.6/8.11.1) with ESMTP id gA4ADL116050
	for <designCPN@daimi.au.dk>; Mon, 4 Nov 2002 11:13:21 +0100 (MET)
Message-ID: <3DC6483B.11515967@win.tue.nl>
Date: Mon, 04 Nov 2002 11:13:15 +0100
From: Bao Tang <btang@win.tue.nl>
X-Mailer: Mozilla 4.7 [en] (Win95; I)
X-Accept-Language: en
MIME-Version: 1.0
To: designCPN@daimi.au.dk
Subject: A question about timing 
Content-Type: text/plain; charset=us-ascii
Content-Transfer-Encoding: 7bit
X-Virus-Scanned: by amavisd-milter (http://amavis.org/)


In DesignCPN, the expression
  e@+1 with e@[3]
is evaluated to
  e@[4]

What can i do if I want to evaluate an expression to
  e@[step()+1]
which means that e will have a time stamp that is equal to the current
model time plus 1 .

Thanks.
Bao Tang