k-user AT lists.cs.illinois.edu

Subject: K-user mailing list

List archive

Re: [[K-user] ] Otherwise-like rules

From: "Park, Daejun" <dpark69 AT illinois.edu>
To: "daparpon AT dsic.upv.es" <daparpon AT dsic.upv.es>
Cc: "Hildenbrandt, Everett" <hildenb2 AT illinois.edu>, "k-user AT lists.cs.illinois.edu" <k-user AT lists.cs.illinois.edu>
Subject: Re: [[K-user] ] Otherwise-like rules
Date: Tue, 14 Mar 2017 20:22:07 +0000
Accept-language: en-US

Hi Daniel,

Unfortunately, there is no other way to quickly get the behavior of `[owise]`.

Best,
Daejun

On Mar 14, 2017, at 6:04 AM,
daparpon AT dsic.upv.es
wrote:

> Thanks! It seems to be exactly what I was looking for. However, apparently
> it
> only works in latest versions of K. I am currently working with K 3.4
> because
> my specification needs to read from the <path-condition> cell at some point,
> and this functionality is not implemented yet in K 4.0. Do you know whether
> there is another way to get the behavior of `[owise]`, or similar, in K 3.4?
>
> Thanks in advance,
> Daniel

[[K-user] ] Otherwise-like rules, daparpon, 03/13/2017
- Re: [[K-user] ] Otherwise-like rules, Everett Hildenbrandt, 03/13/2017
  - Re: [[K-user] ] Otherwise-like rules, daparpon, 03/14/2017
    - Re: [[K-user] ] Otherwise-like rules, Park, Daejun, 03/14/2017