Esempio n. 1
0
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)
Esempio n. 2
0
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)