tclbdd

Check-in [af2be65f95]
Login

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

Overview
Comment:Removed pure-Tcl superclass for bdd: not sure where I was going with that.
Timelines: family | ancestors | descendants | both | trunk
Files: files | file ages | folders
SHA1:af2be65f95a9e7beda5d9980169088bc7f296c40
User & Date: kennykb 2013-12-01 23:27:44
Context
2013-12-02
01:25
foreach_sat test cases check-in: e966ffd735 user: kennykb tags: trunk
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
Changes
Hide Diffs Unified Diffs Ignore Whitespace Patch

Changes to library/tclbdd.tcl.

9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
#
#------------------------------------------------------------------------------

namespace eval bdd {
    namespace export system
}

oo::class create bdd::SystemInt {
    constructor args {
    }
}
oo::class create bdd::system {
    superclass ::bdd::SystemInt
    method === {exprName1 exprName2} {
	expr {[my beadindex $exprName1] == [my beadindex exprName2]}
    }
    method satisfiable {exprName} {
	expr {[my beadindex $exprName] != 0}
    }
    method tautology {exprName} {
	expr {[my beadindex $exprname] == 1}
    }
}







<
<
<
<

<










9
10
11
12
13
14
15




16

17
18
19
20
21
22
23
24
25
26
#
#------------------------------------------------------------------------------

namespace eval bdd {
    namespace export system
}





oo::class create bdd::system {

    method === {exprName1 exprName2} {
	expr {[my beadindex $exprName1] == [my beadindex exprName2]}
    }
    method satisfiable {exprName} {
	expr {[my beadindex $exprName] != 0}
    }
    method tautology {exprName} {
	expr {[my beadindex $exprname] == 1}
    }
}