diff options
Diffstat (limited to 'iirs.adb.in')
| -rw-r--r-- | iirs.adb.in | 12 |
1 files changed, 12 insertions, 0 deletions
diff --git a/iirs.adb.in b/iirs.adb.in index cba22aebd..6ed1c4dfb 100644 --- a/iirs.adb.in +++ b/iirs.adb.in @@ -311,5 +311,17 @@ package body Iirs is function Int32_To_Iir is new Ada.Unchecked_Conversion (Source => Int32, Target => Iir); + function Iir_To_PSL_Node is new Ada.Unchecked_Conversion + (Source => Iir, Target => PSL_Node); + + function PSL_Node_To_Iir is new Ada.Unchecked_Conversion + (Source => PSL_Node, Target => Iir); + + function Iir_To_PSL_NFA is new Ada.Unchecked_Conversion + (Source => Iir, Target => PSL_NFA); + + function PSL_NFA_To_Iir is new Ada.Unchecked_Conversion + (Source => PSL_NFA, Target => Iir); + -- Subprograms end Iirs; |