HOME       UP       PREV       NEXT (ABD - Naive Path to State Conversion)  

ABD - PSL Properties and Macros

PSL defines some simple path to state macros

Others are easy to define:


15: (C) 2008-15, DJ Greaves, University of Cambridge, Computer Laboratory.