Exemplo n.º 1
0
 public static Term NodeToBlock(Term cfg, int idx)
 {
     return(IsaCommonTerms.ListLookup(new TermApp(nodeToBlockId, cfg), idx));
 }
Exemplo n.º 2
0
 public static Term OutEdges(Term cfg, int idx)
 {
     return(IsaCommonTerms.ListLookup(new TermApp(outEdgesId, cfg), idx));
 }