![]() |
|
|||
File indexing completed on 2024-04-06 12:19:47
0001 filename = "basic_lats.txt" 0002 0003 with open(filename) as f: 0004 lines = f.readlines() 0005 0006 for iline, line in enumerate(lines): 0007 line = line.strip().split("/") 0008 text = "lat_combinations.push_back({ %s, %s, %s });" % (line[0], line[1], line[2]) 0009 print(text)
[ Source navigation ] | [ Diff markup ] | [ Identifier search ] | [ general search ] |
This page was automatically generated by the 2.2.1 LXR engine. The LXR team |
![]() ![]() |