890 (["SignalProcessing"], [], e_rls, NONE, [])); |
890 (["SignalProcessing"], [], e_rls, NONE, [])); |
891 store_pbt |
891 store_pbt |
892 (prep_pbt thy "pbl_SP_Ztrans" [] e_pblID |
892 (prep_pbt thy "pbl_SP_Ztrans" [] e_pblID |
893 (["Z_Transform","SignalProcessing"], [], e_rls, NONE, [])); |
893 (["Z_Transform","SignalProcessing"], [], e_rls, NONE, [])); |
894 *} |
894 *} |
895 setup {* store_pbts |
895 setup {* KEStore_Elems.add_pbts |
896 [prep_pbt thy "pbl_SP" [] e_pblID (["SignalProcessing"], [], e_rls, NONE, []), |
896 [prep_pbt thy "pbl_SP" [] e_pblID (["SignalProcessing"], [], e_rls, NONE, []), |
897 prep_pbt thy "pbl_SP_Ztrans" [] e_pblID |
897 prep_pbt thy "pbl_SP_Ztrans" [] e_pblID |
898 (["Z_Transform","SignalProcessing"], [], e_rls, NONE, [])] *} |
898 (["Z_Transform","SignalProcessing"], [], e_rls, NONE, [])] *} |
899 |
899 |
900 text{*\noindent For the suddenly created node we have to define the input |
900 text{*\noindent For the suddenly created node we have to define the input |
909 ("#Find" ,["stepResponse n_eq"]) |
909 ("#Find" ,["stepResponse n_eq"]) |
910 ], |
910 ], |
911 append_rls "e_rls" e_rls [(*for preds in where_*)], NONE, |
911 append_rls "e_rls" e_rls [(*for preds in where_*)], NONE, |
912 [["SignalProcessing","Z_Transform","Inverse"]])); |
912 [["SignalProcessing","Z_Transform","Inverse"]])); |
913 *} |
913 *} |
914 setup {* store_pbts |
914 setup {* KEStore_Elems.add_pbts |
915 [prep_pbt thy "pbl_SP_Ztrans_inv" [] e_pblID |
915 [prep_pbt thy "pbl_SP_Ztrans_inv" [] e_pblID |
916 (["Inverse", "Z_Transform", "SignalProcessing"], |
916 (["Inverse", "Z_Transform", "SignalProcessing"], |
917 [("#Given", ["filterExpression X_eq"]), |
917 [("#Given", ["filterExpression X_eq"]), |
918 ("#Find", ["stepResponse n_eq"])], |
918 ("#Find", ["stepResponse n_eq"])], |
919 append_rls "e_rls" e_rls [(*for preds in where_*)], |
919 append_rls "e_rls" e_rls [(*for preds in where_*)], |