2 commits

Author	SHA1	Message	Date
Eelco Dolstra	c8bb2371eb	Optimize empty sets ... This reduces the number of Bindings allocations by about 10%.	2015-07-23 23:11:08 +02: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