From 4bb12b30a53326ac6e3177bc4016317181dd7f7e Mon Sep 17 00:00:00 2001
From: Tristan Gingold <tgingold@free.fr>
Date: Wed, 22 Apr 2020 08:15:48 +0200
Subject: netlists: infere tri gate.

---
 src/synth/netlists-utils.ads | 4 ++++
 1 file changed, 4 insertions(+)

(limited to 'src/synth/netlists-utils.ads')

diff --git a/src/synth/netlists-utils.ads b/src/synth/netlists-utils.ads
index e4981b38a..aeeb5cc78 100644
--- a/src/synth/netlists-utils.ads
+++ b/src/synth/netlists-utils.ads
@@ -85,6 +85,10 @@ package Netlists.Utils is
    --  disconnect and free it.
    procedure Disconnect_And_Free (I : Input);
 
+   --  Disconnect an input and return the previous driver.
+   function Disconnect_And_Get (I : Input) return Net;
+   function Disconnect_And_Get (Inst : Instance; I : Port_Idx) return Net;
+
    --  Return true IFF L and R is the same net.
    --  Either because L = R (obvious case) or because both are the same
    --  selection of the same net.
-- 
cgit v1.2.3