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