Statemate evaluates a truth table as follows:
● When a truth table is executed, Statemate evaluates it row-by-row, starting at the top of the table and proceeding downward to the end.
● Once the row is fired, all the outputs listed in the output section of that row are generated and the action section is executed.
●
● The order of execution is from left to right, first outputs and then actions. This is relevant only for truth tables that implement procedures.
● If the table contains a default row, and if during the evaluation of the table no other row has fired, the default row is fired.
● If the table does not contain a default row and no row fires during the evaluation of the table, a warning message is displayed during simulation and no output elements are changed.