checkpropold: DEPRECATED modelchecking using old algorithm
checkpropold(A,P);
Notes
This command uses the old (v7.0 and earlier) implementation of tableau-based
local model-checking. This is always(?) slower than the new games based
algorithm; it is included so that if you suspect the new algorithm of giving
the wrong answer or being too slow you have something to compare with.
Please let me know if there are circumstances where this algorithm is better
than the old one; by default it will disappear from the next release.
See also
checkprop
logic
Edinburgh Concurrency Workbench (v7.1).
Page generated: Sun Jul 18 11:46:51 BST 1999