farmer.smp_dump.txt

農夫過河

State Machine - |farmer|CS
Name CS.state_bit_4 CS.state_bit_3 CS.state_bit_2 CS.state_bit_1 CS.state_bit_0 
CS.S0 0 0 0 0 0 
CS.S22 1 1 1 1 1 
CS.S21 0 1 1 1 1 
CS.S20 1 0 0 0 1 
CS.S19 1 1 0 0 1 
CS.S18 1 1 0 1 1 
CS.S17 1 1 1 0 1 
CS.S16 0 0 1 1 1 
CS.S15 0 1 1 0 1 
CS.S14 0 1 0 1 1 
CS.S13 0 1 0 0 1 
CS.S12 1 0 0 1 1 
CS.S11 0 0 1 0 1 
CS.S10 0 0 0 1 1 
CS.S9 0 0 0 0 1 
CS.S8 1 0 1 0 1 
CS.S23 1 0 1 1 0 
CS.S7 0 1 1 0 0 
CS.S6 0 1 1 1 0 
CS.S5 0 1 0 1 0 
CS.S4 0 1 0 0 0 
CS.S3 1 0 0 1 0 
CS.S2 0 0 1 0 0 
CS.S1 0 0 0 1 0 
CS.S24 1 0 1 1 1