def print_grids(alpha,m,n,g,manager): from inf import models var_count = m*(n-1) + (m-1)*n #print "COUNT:", sdd.sdd_model_count(alpha,manager) print "COUNT:", global_model_count(alpha,manager) for model in models.models(alpha,sdd.sdd_manager_vtree(manager)): print models.str_model(model,var_count=var_count) draw_grid(model,m,n,g,True)
def print_grids(alpha,dimension,manager): #import pdb; pdb.set_trace() from inf import models var_count = 2*dimension*(dimension-1) #var_count = 2*dimension*(dimension-1) + dimension*dimension #var_count = 2*dimension[0]*dimension[1] - dimension[0] - dimension[1] print "COUNT:", sdd.sdd_model_count(alpha,manager) for model in models.models(alpha,sdd.sdd_manager_vtree(manager)): print models.str_model(model,var_count=var_count) draw_grid(model,dimension)