Sockeye: Generate addresses with ISO hex prefix
[barrelfish] / usr / skb / programs / decodingNet.pl
index cd5b975..5591ccd 100644 (file)
@@ -16,6 +16,9 @@
 
 :- lib(ic).
 
+:- set_flag(syntax_option,based_bignums).
+:- set_flag(syntax_option,iso_base_prefix).
+
 :- dynamic net/2.
 
 %% Load a precompiled decoding net
@@ -56,22 +59,13 @@ listMapsToName([M|Maps],Addr,Name) :-
     mapsToName(M,Addr,Name);
     listMapsToName(Maps,Addr,Name).    
 
-translateMap(node(_,_,Translate,_),Addr,Name) :-
+translateMap(node(_,_,Translate),Addr,Name) :-
     listMapsToName(Translate,Addr,Name).
 
-translateOverlay(node(_,Accept,Translate,Overlay),Addr,Name) :-
-    not(Overlay = '@none'),
-    blockListRanges(Accept,ARanges),
-    neg(Addr :: ARanges),
-    mapListRanges(Translate,TRanges),
-    neg(Addr :: TRanges),
-    Name = name(Overlay,Addr).
-
 translate(Node,Addr,Name) :-
-    translateMap(Node,Addr,Name);
-    translateOverlay(Node,Addr,Name).
+    translateMap(Node,Addr,Name).
 
-accept(node(_,Accept,_,_),Addr) :-
+accept(node(_,Accept,_),Addr) :-
     blockListRanges(Accept,Ranges),
     Addr :: Ranges.