some missing results
small fixes
alternative calculation of activation functions for resource sharing

activation functions calculated based on result of mapping
extend new activationfunction calculation so that activationfunction is only true when LUT is needed
new results
some renaming in preparation of next step
refactor bdd calculation of single node
parent0 and parent1 of cone should correspond to I0 and I1 of root of cone
simplify calculation of local function
on demand calculation of local function of cone
make sure that bddfactory is initialised before aig is read; initialise onparamfn and offparamfn to zero
use the calculatelocalfunction method of cone to calculate bdd function for blif writing (previously done with separate function)
doc, testing activation functions
made mapped blif filename an argument
boolean function of cone in mapped blif can now be restricted by activation function of root
extra error checking in bliftoaig script
missing run script for experiments
simple mapped blif generation ported to new architecture: separate representation op mapped circuit
vhdl tests updated
TruthTable, etc. updated to new BooleanFunction