]> mj.ucw.cz Git - libucw.git/commit
So far buggy support for multi-way unification.
authorMartin Mares <mj@ucw.cz>
Wed, 29 Aug 2007 21:10:30 +0000 (23:10 +0200)
committerMartin Mares <mj@ucw.cz>
Wed, 29 Aug 2007 21:10:30 +0000 (23:10 +0200)
commit0a0199533c874640d913370b62c8a11b8a68bfa0
tree3e38edf784b6ce686d220700b8d6ca32c7a62a6b
parent2893c73b3209e4fb73d4fce9216fb344e8d9e1e7
So far buggy support for multi-way unification.
lib/sorter/s-multiway.h
lib/sorter/sorter.h