# 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))
# 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),
)