git://developer.intra2net.com / pyi2ncommon / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 0936b2f) | patch
allow parent-less renumbering of CNF_VARs
authorPhilipp Gesang <philipp.gesang@intra2net.com>
Tue, 5 Dec 2017 10:55:24 +0000 (11:55 +0100)
committerChristian Herdtweck <christian.herdtweck@intra2net.com>
Mon, 5 Nov 2018 11:16:39 +0000 (12:16 +0100)
commitdacf2efd0db562f5734190070c423ed3479b7487
treee632497c58b53a6b40b449abafa033f4e6f12e1dtree | snapshot (zip tar.gz)
parent0936b2f2ee48fabd41c5a35f611d3524328b25f3commit | diff
allow parent-less renumbering of CNF_VARs

When more control is needed over the line numbers a CNF_VAR and
its children are assigned, the *parent* linenumber can be used to
pass an offset. Add a parameter *toplevel* to prevent the parent
index from being set.
src/cnfvar.py diff | blob | blame | history
Common Intra2net python library