Encoding hydraulic_iclingo.py

Name	hydraulic_iclingo.py
Class Tree	[Root] Miscellaneous (45) ASP Contest 09 (45) Input/Output Formatting Tools (3)
Submitter	Martin Gebser
Author	Martin Gebser and Roland Kaminski
Description	This Python script converts time indexes of solution output by Iclingo for the Hydraulic System Planning problems (cf. http://asp.haiti.cs.uni-potsdam.de/encoding/show/id/6078 and http://asp.haiti.cs.uni-potsdam.de/encoding/show/id/6079) such that they get non-negative. Usage (Bourne again shell): iclingo hydraulic-planning_decision.iclingo <instance> 2>&1 \| ./hydraulic_iclingo.py iclingo hydraulic-leaking_decision.iclingo <instance> 2>&1 \| ./hydraulic_iclingo.py
Created	2009-03-29 17:43
Modified	2009-05-09 12:56
Languages
Language Features
Compatible Instance Classes
Input Predicates
Output Predicates
Encoding Parameter
Standalone	No
Tags
Attributes
Content	#!/usr/bin/python import subprocess import re import sys first = False for line in sys.stdin: r = re.finditer("switchon\(([^\)]),([^\)])\)", line) min = 0 for m in r: first = True if int(m.group(2)) < min: min = int(m.group(2)) # if not first: # print line, if first: s = re.finditer("switchon\(([^\)]),([^\)])\)", line) for m in s: print "switchon(%s,%s)." % (m.group(1),int(m.group(2))-min), # print if re.match("Models[\s]:[\s]0", line): print "UNSATISFIABLE"

Actions