Python exhaustive_with_overlays示例

示例#1

# perm_bound    = 7
# # inp_dag       = permstruct.dag.len_3_pairs(perm_prop, perm_bound)
# inp_dag       = permstruct.dag.N_P_X1_mon(perm_prop, perm_bound)
# max_rule_size = (3, 3)
# max_non_empty = 3
# max_rules     = 100
# ignored       = 1

#------------------------------------------------#

if not overlays:
    permstruct.exhaustive(perm_prop,
                          perm_bound,
                          inp_dag,
                          max_rule_size,
                          max_non_empty,
                          max_rules,
                          ignore_first=ignored)

else:
    permstruct.exhaustive_with_overlays(perm_prop,
                                        perm_bound,
                                        inp_dag,
                                        max_rule_size,
                                        max_non_empty,
                                        max_rules,
                                        overlay_dag,
                                        max_overlay_cnt,
                                        max_overlay_size,
                                        min_rule_size=(1, 1))

示例#2

文件： scratch_Henning.py 项目： PermutaTriangle/PermStruct

# inp_dag = permstruct.dag.len_3_pairs(perm_prop, perm_bound)

# max_rule_size = (1, 1)
# max_non_empty = 4
# max_rules     = 100
# ignored       = 0

# For exhaustive_with_overlays
# overlay_dag = permstruct.dag.x_dag(perm_prop, perm_bound)
# max_overlay_cnt = 1
# max_overlay_size = (1, 3)

# overlays = False

if not overlays:
    permstruct.exhaustive(perm_prop, perm_bound, inp_dag, max_rule_size, max_non_empty, max_rules, ignore_first=ignored)

else:
    permstruct.exhaustive_with_overlays(
        perm_prop,
        perm_bound,
        inp_dag,
        max_rule_size,
        max_non_empty,
        max_rules,
        overlay_dag,
        max_overlay_cnt,
        max_overlay_size,
        min_rule_size=(1, 1),
    )