tclbdd

Check-in [f7a47671e9]
Login

Many hyperlinks are disabled.
Use anonymous login to enable hyperlinks.

Overview
Comment:Added ===, tautology, satisfiable methods (no tests yet). Replaced 'constant' and 'copy' with a single ':=' method.
Timelines: family | ancestors | descendants | both | trunk
Files: files | file ages | folders
SHA1:f7a47671e987522b20074340a26eef2efc5fed97
User & Date: kennykb 2013-12-01 23:26:26
Context
2013-12-01
23:27
Removed pure-Tcl superclass for bdd: not sure where I was going with that. check-in: af2be65f95 user: kennykb tags: trunk
23:26
Added ===, tautology, satisfiable methods (no tests yet). Replaced 'constant' and 'copy' with a single ':=' method. check-in: f7a47671e9 user: kennykb tags: trunk
23:14
Implemented foreach_sat (no tests yet). Fixed a bug where restrict cannot handle variables out of sequence, and added a test case for same. Made the 8-queens example use foreach_sat to enumerate the solutions. check-in: 5b78565cad user: kennykb tags: trunk
Changes
Unified Diffs Side-by-Side Diffs Patch

Changes to generic/tclBdd.c.

Changes to library/tclbdd.tcl.

Changes to tests/bdd.test.