k-user AT lists.siebelschool.illinois.edu

Subject: K-user mailing list

List archive

Re: [K-user] Superheat and nonstrict functions

From: Stefan Ciobaca <stefan.ciobaca AT gmail.com>
To: "Moore, Brandon Michael" <bmmoore AT illinois.edu>
Cc: "k-user AT cs.uiuc.edu" <k-user AT cs.uiuc.edu>
Subject: Re: [K-user] Superheat and nonstrict functions
Date: Thu, 16 Feb 2012 09:09:21 +0200
List-archive: <http://lists.cs.uiuc.edu/pipermail/k-user>
List-id: <k-user.cs.uiuc.edu>

> Is there any way to adjust the strictness, attributes, or contexts so all of
> majority tE tE stuck
> majority tE stuck tE
> majority stuck tE tE
> compute only to T? Without --search, only the last does.

Hi Brandon,

Have you tried to create your own heating/cooling rules? The
strictness attributes desugars into such rules.

Cheers,
Stefan

[K-user] Superheat and nonstrict functions, Moore, Brandon Michael, 02/15/2012
- Re: [K-user] Superheat and nonstrict functions, Stefan Ciobaca, 02/16/2012
- <Possible follow-up(s)>
- Re: [K-user] Superheat and nonstrict functions, Traian Florin Șerbănuță, 02/16/2012