N o d e B r a i n   0.8.17 (Dopey) 2014-04-10

Compiled Jul  7 2014 23:14:34 x86_64-unknown-linux-gnu

Copyright (C) 2014 Ed Trettevik <eat@nodebrain.org>
MIT or NodeBrain License
----------------------------------------------------------------

../bin/nb ./cellStaticBoolFalse.nb~ 

Date       Time     Message
---------- -------- --------------------------------------------
2014/07/08 14:11:42 NB000I NodeBrain nb[22778] me@myhost
2014/07/08 14:11:42 NB000I Argument [1] ./cellStaticBoolFalse.nb~
> #!../nb/nb
> #
> # File: cellStaticBoolFalse.nb
> #
> # Test cell static expression - Boolean False
> #================================================
> #?# This is a hidden comment until we check
> # 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;
@ = ! == node 
r1 = ! == on(e1&(e2&(e3&(e4&(e5&(e6&(e7&(e8&e9))))))));
e9 = 0 == (0^1)
e8 = 0
e7 = 0
e6 = 0
e5 = 0
e4 = 0
e3 = 0
e2 = 0
e1 = 0
> # 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;
@ = ! == node 
f = 0
t = 1
r1 = ! == on(e1&(e2&(e3&(e4&(e5&(e6&(e7&(e8&e9))))))));
e9 = 0 == (f^t)
e8 = 0 == (f|f)
e7 = 0 == (?&f)
e6 = 0 == (t&f)
e5 = 0 == (f&?)
e4 = 0 == (f&t)
e3 = 0 == (f&f)
e2 = 0 == (!t)
e1 = 0 == f
> # 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;
@ = ! == node 
f = 0
t = 1
r1 = ! == on(e1&(e2&(e3&(e4&(e5&(e6&(e7&(e8&e9))))))));
e9 = 0 == (0^"a")
e8 = 0
e7 = 0
e6 = 0
e5 = 0
e4 = 0
e3 = 0
e2 = 0
e1 = 0
> # 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
@ = ! == node 
a = "a"
f = 0
t = 1
r1 = ! == on(e1&(e2&(e3&(e4&(e5&(e6&(e7&(e8&e9))))))));
e9 = 0 == (f^a)
e8 = 0 == (f|f)
e7 = 0 == (?&f)
e6 = 0 == (a&f)
e5 = 0 == (f&?)
e4 = 0 == (f&a)
e3 = 0 == (f&f)
e2 = 0 == (!a)
e1 = 0 == f
> # Verify that all e1-e9 cells above have a value of 0
2014/07/08 14:11:42 NB000I Source file "./cellStaticBoolFalse.nb~" included. size=3779
2014/07/08 14:11:42 NB000I NodeBrain lt-nb[22778] terminating - exit code=0