Running Exw.exe ergodicSysMSMN_NAND.ex..
-------------------------------------
Single NAND System
initial model a = NOT (b AND c)
{
{0},
{
{2,3,3},
{
{
1,
{2,3},
{1,1}
}
},
{
{
2,
{1}
},
{
3,
{1}
}
}
},
{0,1,1},
{2,3}
}
first iteration
State Vector: {0,1,1}
cUpdate: {}
cUpdate is empty so no more iterations needed
all iterations at once
State Vector: {0,1,1}
cUpdate: {}
then change c=0
State Vector: {0,1,0}
cUpdate: {3}
first iteration
State Vector: {1,1,0}
cUpdate: {1}
second iteration
State Vector: {1,1,0}
cUpdate: {}
this second iteration doesn't change the state vector, it only clears the cUpdate list
Process terminated successfully.
Exit code: 0