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:


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