Revert "merge"

This reverts commit f7d8afe5019cc29c328edfe961e2b841907f007e.
Revert "update CNFEXP.h"

This reverts commit 8a46215a86006c6b52cb3047c7e9b94110dc418c.
self apply
update apply operation
add bdd operation, add operator redifinition
mk
operator redifinition finished
makefile
Merge pull request #1 from mengdiwang/SelfApply

Self apply