def make_csp(path, colors):
gac = GAC()
f = open(path, "r")
NV = 0
NE = 0
count = 1
for line in f:
l = parse_line(line)
print(l)
if count == 1:
NV = int(l[0])
NE = int(l[1])
elif count > 1 and count <= NV + 1:
print("Making var...")
name = "v{}".format(l[0])
print(name)
print("")
domain = [i for i in range(colors)]
gac.add_variable(Vc_var(name, domain, float(l[1]), float(l[2])))
else:
print("Making constraint...\n")
gac.add_constraint(gen_constraint(l[0], l[1]))
count += 1
return gac
def make_csp(path, colors):
gac = GAC()
f = open(path, "r")
NV = 0
NE = 0
count = 1
for line in f:
l = parse_line(line)
print(l)
if count == 1:
NV = int(l[0])
NE = int(l[1])
elif count > 1 and count <= NV + 1:
print("Making var...")
name = "v{}".format(l[0])
print(name)
print("")
domain = [i for i in range(colors)]
gac.add_variable(Vc_var(name, domain, float(l[1]), float(l[2])))
else:
print("Making constraint...\n")
gac.add_constraint(gen_constraint(l[0], l[1]))
count += 1
return gac
def make(path): f = open(path, "r") width = 0 height = 0 map = [] #generate map count = 0 rows = [] columns = [] for line in f: l = util.parse_line(line) if count == 0: width = int(l[0]) #columns height = int(l[1]) #rows print(l) elif(count <= height): row = [] for segment in l: row.append(int(segment)) rows.append(row) print(row) else: col = [] for segment in l: col.append(int(segment)) columns.append(col) print(col) count += 1 bitmap = util.get_bitmap_vector(max(width, height)) print() gac = GAC() #gen variables vars = gen_variables(rows, columns, width, height, bitmap) for var in vars: gac.add_variable(var) #gen constraints constraints = gen_constraints(width, height) gac.constraints = constraints return gac, width, height
def make(path):
f = open(path, "r")
width = 0
height = 0
map = []
#generate map
count = 0
rows = []
columns = []
for line in f:
l = util.parse_line(line)
if count == 0:
width = int(l[0]) #columns
height = int(l[1]) #rows
print(l)
elif (count <= height):
row = []
for segment in l:
row.append(int(segment))
rows.append(row)
print(row)
else:
col = []
for segment in l:
col.append(int(segment))
columns.append(col)
print(col)
count += 1
bitmap = util.get_bitmap_vector(max(width, height))
print()
gac = GAC()
#gen variables
vars = gen_variables(rows, columns, width, height, bitmap)
for var in vars:
gac.add_variable(var)
#gen constraints
constraints = gen_constraints(width, height)
gac.constraints = constraints
return gac, width, height
