2 commits

Author	SHA1	Message	Date
Eelco Dolstra	54801ed6ad	Bindings: Add a method for iterating in lexicographically sorted order	2017-01-26 20:40:33 +01:00
Nicolas B. Pierron	db21cfa688	Move attribute set data structures into their own header file. ... This modification moves Attr and Bindings structures into their own header file which is dedicated to the attribute set representation. The goal of to isolate pieces of code which are related to the attribute set representation. Thus future modifications of the attribute set representation will only have to modify these files, and not every other file across the evaluator.	2015-07-14 19:23:17 +02:00