N o d e B r a i n 0.5.2 2003/03/16 NBP 0.0.1 Copyright (C) 1998-2003 The Boeing Company GNU General Public License ---------------------------------------------------------------- ../bin/nb ./cellStaticBoolFalse.nb Date Time Message ---------- -------- -------------------------------------------- 2003/03/26 02:04:40 NB000I NodeBrain nb me[18641] 2003/03/26 02:04:40 NB000I Argument [1] ./cellStaticBoolFalse.nb > #!../bin/nb > # > # File: cellStaticBoolFalse.nb > # > # Test cell static expression - Boolean False > #================================================ > # Define rule to enable 9 cells > define r1 on(e1 and e2 and e3 and e4 and e5 and e6 and e7 and e8 and e9); > # Test with literal numbers > assert e1==(0 ); > assert e2==(not 1); > assert e3==(0 & 0); > assert e4==(0 & 1); > assert e5==(0 & ?); > assert e6==(1 & 0); > assert e7==(? & 0); > assert e8==(0 | 0); > assert e9==(0 ^ 1); > show -cells; e1 = 0 e2 = 0 == (!1) e3 = 0 == (0&0) e4 = 0 == (0&1) e5 = 0 == (0&?) e6 = 0 == (1&0) e7 = 0 == (?&0) e8 = 0 == (0|0) e9 = 0 == (0^1) > # Test with variable numbers > assert t=1; > assert f=0; > assert e1==(f ); > assert e2==(not t); > assert e3==(f & f); > assert e4==(f & t); > assert e5==(f & ?); > assert e6==(t & f); > assert e7==(? & f); > assert e8==(f | f); > assert e9==(f ^ t); > show -cells; f = 0 t = 1 e1 = 0 == f e2 = 0 == (!t) e3 = 0 == (f&f) e4 = 0 == (f&t) e5 = 0 == (f&?) e6 = 0 == (t&f) e7 = 0 == (?&f) e8 = 0 == (f|f) e9 = 0 == (f^t) > # Test with literal string (Can only represent true conditions) > assert e1==( 0 ); > assert e2==(not "a" ); > assert e3==( 0 & 0 ); > assert e4==( 0 & "a"); > assert e5==( 0 & ? ); > assert e6==("a" & 0 ); > assert e7==( ? & 0 ); > assert e8==( 0 | 0 ); > assert e9==( 0 ^ "a"); > show -cells; f = ! == 0 t = ! == 1 e1 = 0 e2 = 0 == (!"a") e3 = 0 == (0&0) e4 = 0 == (0&"a") e5 = 0 == (0&?) e6 = 0 == ("a"&0) e7 = 0 == (?&0) e8 = 0 == (0|0) e9 = 0 == (0^"a") > # Test with variable string > assert a="a"; > assert e1==(f ); > assert e2==(not a); > assert e3==(f & f); > assert e4==(f & a); > assert e5==(f & ?); > assert e6==(a & f); > assert e7==(? & f); > assert e8==(f | f); > assert e9==(f ^ a); > show -cells a = "a" f = 0 t = ! == 1 e1 = 0 == f e2 = 0 == (!a) e3 = 0 == (f&f) e4 = 0 == (f&a) e5 = 0 == (f&?) e6 = 0 == (a&f) e7 = 0 == (?&f) e8 = 0 == (f|f) e9 = 0 == (f^a) > # Verify that all e1-e9 cells above have a value of 0 2003/03/26 02:04:40 NB000I Rule file "./cellStaticBoolFalse.nb" loaded. size=1314 2003/03/26 02:04:40 NB000I NodeBrain nb terminating normally N o d e B r a i n 0.5.2 2003/03/16 NBP 0.0.1 Copyright (C) 1998-2003 The Boeing Company GNU General Public License ---------------------------------------------------------------- ../bin/nb ./cellStaticBoolTrue.nb Date Time Message ---------- -------- -------------------------------------------- 2003/03/26 02:04:50 NB000I NodeBrain nb me[18642] 2003/03/26 02:04:50 NB000I Argument [1] ./cellStaticBoolTrue.nb > #!../bin/nb > # > # File: cellStaticBoolTrue.nb > # > # Test cell static expression - Boolean True > #================================================ > # Define rule to enable 9 cells > define r1 if(e1 and e2 and e3 and e4 and e5 and e6 and e7 and e8 and e9); > # Test with literal numbers > assert e1==(1 ); > assert e2==(not 0); > assert e3==(1 & 1); > assert e4==(1 | 0); > assert e5==(1 | ?); > assert e6==(0 | 1); > assert e7==(? | 1); > assert e8==(1 | 1); > assert e9==(1 ^ 0); > show -cells; e1 = 1 e2 = 1 == (!0) e3 = 1 == (1&1) e4 = 1 == (1|0) e5 = 1 == (1|?) e6 = 1 == (0|1) e7 = 1 == (?|1) e8 = 1 == (1|1) e9 = 1 == (1^0) > # Test with variable numbers > assert t=1; > assert f=0; > assert e1==(t ); > assert e2==(not f); > assert e3==(t & t); > assert e4==(t | f); > assert e5==(t | ?); > assert e6==(f | t); > assert e7==(? | t); > assert e8==(t | t); > assert e9==(t ^ f); > show -cells; f = 0 t = 1 e1 = 1 == t e2 = 1 == (!f) e3 = 1 == (t&t) e4 = 1 == (t|f) e5 = 1 == (t|?) e6 = 1 == (f|t) e7 = 1 == (?|t) e8 = 1 == (t|t) e9 = 1 == (t^f) > # Test with literal string > assert a="a"; > assert e1==a=("a"); > assert e2==(not 0); > assert e3==a=("a" & "a"); > assert e4==a=("a" | 0); > assert e5==a=("a" | ?); > assert e6==a=( 0 | "a"); > assert e7==a=( ? | "a"); > assert e8==a=("a" | "a"); > assert e9==("a" ^ 0); > show -cells; a = "a" f = ! == 0 t = ! == 1 e1 = 1 == (a="a") e2 = 1 == (!0) e3 = 1 == (a=("a"&"a")) e4 = 1 == (a=("a"|0)) e5 = 1 == (a=("a"|?)) e6 = 1 == (a=(0|"a")) e7 = 1 == (a=(?|"a")) e8 = 1 == (a=("a"|"a")) e9 = 1 == ("a"^0) > # Test with variable string > assert e1==a=(a); > assert e2==(not f); > assert e3==a=(a & a); > assert e4==(t | f); > assert e5==(t | ?); > assert e6==a=(f | a); > assert e7==a=(? | a); > assert e8==a=(a | a); > assert e9==(a ^ f); > show -cells; a = "a" f = 0 t = 1 e1 = 1 == (a=a) e2 = 1 == (!f) e3 = 1 == (a=(a&a)) e4 = 1 == (t|f) e5 = 1 == (t|?) e6 = 1 == (a=(f|a)) e7 = 1 == (a=(?|a)) e8 = 1 == (a=(a|a)) e9 = 1 == (a^f) > # Verify that all e1-e9 cells above have a value of 1 2003/03/26 02:04:50 NB000I Rule file "./cellStaticBoolTrue.nb" loaded. size=1282 2003/03/26 02:04:50 NB000I NodeBrain nb terminating normally N o d e B r a i n 0.5.2 2003/03/16 NBP 0.0.1 Copyright (C) 1998-2003 The Boeing Company GNU General Public License ---------------------------------------------------------------- ../bin/nb ./cellStaticBoolUnknown.nb Date Time Message ---------- -------- -------------------------------------------- 2003/03/26 02:04:57 NB000I NodeBrain nb me[18643] 2003/03/26 02:04:57 NB000I Argument [1] ./cellStaticBoolUnknown.nb > #!../bin/nb > # > # File: cellStaticBoolUnknown.nb > # > # Test cell static expression - Boolean Unknown > #================================================ > # Define rule to enable 9 cells > define r1 if(e1 & e2 & e3 & e4 & e5 & e6 & e7 & e8 & e9 & eA & eB); > # Test with literal numbers > assert e1==(? ); > assert e2==(not ?); > assert e3==(1 & ?); > assert e4==(? & 1); > assert e5==(? & ?); > assert e6==(? | ?); > assert e7==(? ^ 0); > assert e8==(0 ^ ?); > assert e9==(? ^ 1); > assert eA==(1 ^ ?); > assert eB==(? ^ ?); > show -cells; e1 = ? e2 = ? == (!?) e3 = ? == (1&?) e4 = ? == (?&1) e5 = ? == (?&?) e6 = ? == (?|?) e7 = ? == (?^0) e8 = ? == (0^?) e9 = ? == (?^1) eA = ? == (1^?) eB = ? == (?^?) > # Test with variable numbers > assert t=1; > assert f=0; > assert u=?; > assert e1==(u ); > assert e2==(not u); > assert e3==(t & u); > assert e4==(u & t); > assert e5==(u & u); > assert e6==(u | u); > assert e7==(u ^ f); > assert e8==(f ^ u); > assert e9==(u ^ t); > assert eA==(t ^ u); > assert eB==(u ^ u); > show -cells; f = 0 t = 1 u = ? e1 = ? == u e2 = ? == (!u) e3 = ? == (t&u) e4 = ? == (u&t) e5 = ? == (u&u) e6 = ? == (u|u) e7 = ? == (u^f) e8 = ? == (f^u) e9 = ? == (u^t) eA = ? == (t^u) eB = ? == (u^u) > # Test with literal string (can only represent True) > assert e1==( u ); > assert e2==(not u ); > assert e3==("a" & u ); > assert e4==( u & "a"); > assert e5==( u & u ); > assert e6==( u | u ); > assert e7==( u ^ f ); > assert e8==( f ^ u ); > assert e9==( u ^ "a"); > assert eA==("a" ^ u ); > assert eB==( u ^ u ); > show -cells; f = 0 t = ! == 1 u = ? e1 = ? == u e2 = ? == (!u) e3 = ? == ("a"&u) e4 = ? == (u&"a") e5 = ? == (u&u) e6 = ? == (u|u) e7 = ? == (u^f) e8 = ? == (f^u) e9 = ? == (u^"a") eA = ? == ("a"^u) eB = ? == (u^u) > # Test with variable string > assert a cell "a"; 2003/03/26 02:04:57 NB000E Expecting '=' at "cell "a";". 2003/03/26 02:04:57 NB000T Expecting ';' or end of line at "cell "a";" > assert e1==(u ); > assert e2==(not u); > assert e3==(a & u); > assert e4==(u & a); > assert e5==(u & u); > assert e6==(u | u); > assert e7==(u ^ f); > assert e8==(f ^ u); > assert e9==(u ^ a); > assert eA==(a ^ u); > assert eB==(u ^ u); > show -cells; a = ? f = 0 t = ! == 1 u = ? e1 = ? == u e2 = ? == (!u) e3 = ? == (a&u) e4 = ? == (u&a) e5 = ? == (u&u) e6 = ? == (u|u) e7 = ? == (u^f) e8 = ? == (f^u) e9 = ? == (u^a) eA = ? == (a^u) eB = ? == (u^u) > # Verify that all e1-eB cells above have a value of "?" 2003/03/26 02:04:57 NB000I Rule file "./cellStaticBoolUnknown.nb" loaded. size=1490 2003/03/26 02:04:57 NB000I NodeBrain nb terminating normally