k-user AT lists.cs.illinois.edu

Subject: K-user mailing list

List archive

Re: [[K-user] ] --pattern parameter

From: <daparpon AT dsic.upv.es>
To: k-user AT lists.cs.illinois.edu,msaxena2 AT illinois.edu
Subject: Re: [[K-user] ] --pattern parameter
Date: Fri, 17 Feb 2017 04:55:49 -0600

Thanks, I tried it and it works perfectly now. I have one more question,
though: is it possible somehow to read (and/or modify) the path condition at
run time, inside the rules of the language? For instance, in K 3.4 we were
able to do something like this:

rule <path-condition> PC </path-condition> <k> [some term] => PC ... </k>

Is this possible in K 4.0? How could we do that?

Daniel

[[K-user] ] --pattern parameter, Alex, 02/14/2017
- Re: [[K-user] ] --pattern parameter, Saxena, Manasvi, 02/14/2017
  - Re: [[K-user] ] --pattern parameter, Alex, 02/14/2017
    - Re: [[K-user] ] --pattern parameter, Saxena, Manasvi, 02/14/2017
      - Re: [[K-user] ] --pattern parameter, Dorel Lucanu, 02/15/2017
        
        Re: [[K-user] ] --pattern parameter, Alex, 02/15/2017
      - Re: [[K-user] ] --pattern parameter, daparpon, 02/16/2017
        
        Re: [[K-user] ] --pattern parameter, Saxena, Manasvi, 02/16/2017
        
        Re: [[K-user] ] --pattern parameter, daparpon, 02/17/2017
        
        Re: [[K-user] ] --pattern parameter, Saxena, Manasvi, 02/17/2017