tclbdd

Check-in [37bd59506a]
Login

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

Overview
Comment:sort methods correctly
Timelines: family | ancestors | descendants | both | trunk
Files: files | file ages | folders
SHA1:37bd59506a9b0584efcc9275009ff8f734ea0aa7
User & Date: kennykb 2013-11-29 16:16:05
Context
2013-11-30
01:30
add Restrict - no tests yet check-in: d889c00657 user: kennykb tags: trunk
2013-11-29
16:16
sort methods correctly check-in: 37bd59506a user: kennykb tags: trunk
16:13
Added negation and many more tests check-in: e6ef0aca88 user: kennykb tags: trunk
Changes
Hide Diffs Unified Diffs Ignore Whitespace Patch

Changes to generic/tclBdd.c.

236
237
238
239
240
241
242
243
244
245
246
247
248
249
250
251
/*
 * Method table for the BDD system object
 */

MethodTableRow systemMethodTable[] = {
    { "!=",        &BddSystemBinopMethodType,     (ClientData) BDD_BINOP_NE },
    { "&",         &BddSystemBinopMethodType,     (ClientData) BDD_BINOP_AND },
    { "<=",        &BddSystemBinopMethodType,     (ClientData) BDD_BINOP_LE },
    { "<",         &BddSystemBinopMethodType,     (ClientData) BDD_BINOP_LT },
    { "==",        &BddSystemBinopMethodType,     (ClientData) BDD_BINOP_EQ },
    { ">",         &BddSystemBinopMethodType,     (ClientData) BDD_BINOP_GT },
    { ">=",        &BddSystemBinopMethodType,     (ClientData) BDD_BINOP_GE },
    { "^",         &BddSystemBinopMethodType,     (ClientData) BDD_BINOP_XOR },
    { "beadindex", &BddSystemBeadindexMethodType, NULL },
    { "constant",  &BddSystemConstantMethodType,  NULL },
    { "copy",      &BddSystemCopyMethodType,      NULL },







|
|







236
237
238
239
240
241
242
243
244
245
246
247
248
249
250
251
/*
 * Method table for the BDD system object
 */

MethodTableRow systemMethodTable[] = {
    { "!=",        &BddSystemBinopMethodType,     (ClientData) BDD_BINOP_NE },
    { "&",         &BddSystemBinopMethodType,     (ClientData) BDD_BINOP_AND },
    { "<",         &BddSystemBinopMethodType,     (ClientData) BDD_BINOP_LT },
    { "<=",        &BddSystemBinopMethodType,     (ClientData) BDD_BINOP_LE },
    { "==",        &BddSystemBinopMethodType,     (ClientData) BDD_BINOP_EQ },
    { ">",         &BddSystemBinopMethodType,     (ClientData) BDD_BINOP_GT },
    { ">=",        &BddSystemBinopMethodType,     (ClientData) BDD_BINOP_GE },
    { "^",         &BddSystemBinopMethodType,     (ClientData) BDD_BINOP_XOR },
    { "beadindex", &BddSystemBeadindexMethodType, NULL },
    { "constant",  &BddSystemConstantMethodType,  NULL },
    { "copy",      &BddSystemCopyMethodType,      NULL },