#!../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;

# 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;

# 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;

# 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

# Verify that all e1-e9 cells above have a value of 0