tclbdd

Check-in [ebbab87a43]
Login

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

Overview
Comment:Fix commentary on 'project'
Timelines: family | ancestors | descendants | both | trunk
Files: files | file ages | folders
SHA1:ebbab87a43d7578a01119bfd8de15999e48fca36
User & Date: kbk 2013-12-18 18:59:43
Context
2013-12-19
17:19
Added proof-of-concept relational algebra methods. Still in need of some serious love, that is, commenting and thorough testing. check-in: 07b1771e35 user: kbk tags: trunk
2013-12-18
18:59
Fix commentary on 'project' check-in: ebbab87a43 user: kbk tags: trunk
18:54
Make finite domain descriptions contain inverted lists of the variable numbers for each column. check-in: 8077309f9f user: kbk tags: trunk
Changes
Hide Diffs Unified Diffs Ignore Whitespace Patch

Changes to generic/tclBdd.c.

1793
1794
1795
1796
1797
1798
1799
1800
1801



1802
1803
1804
1805
1806
1807
1808
 * Results:
 *	Returns a standard Tcl result
 *
 * Side effects:
 *	Creates the named expression if successful
 *
 * This is the same operation as existential quantification. It is provided
 * for the convenience of Finite Domain Decision Diagrams, where it exists
 * as the relational 'project' operator.



 *
 *-----------------------------------------------------------------------------
 */
static int
BddSystemProjectMethod(
    ClientData clientData,	/* Operation to perform */
    Tcl_Interp* interp,		/* Tcl interpreter */







|
|
>
>
>







1793
1794
1795
1796
1797
1798
1799
1800
1801
1802
1803
1804
1805
1806
1807
1808
1809
1810
1811
 * Results:
 *	Returns a standard Tcl result
 *
 * Side effects:
 *	Creates the named expression if successful
 *
 * This is the same operation as existential quantification. It is provided
 * for the convenience of Finite Domain Decision Diagrams, where it implements
 * the relational 'project' operator. Note that the notation is different
 * from the usual 'project'; the variable list to this command specifies the
 * variables to discard, while the conventional 'project' operation specifies
 * the columns to keep.
 *
 *-----------------------------------------------------------------------------
 */
static int
BddSystemProjectMethod(
    ClientData clientData,	/* Operation to perform */
    Tcl_Interp* interp,		/* Tcl interpreter */