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:


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