Ejemplos de Rules.change_multiple en Python

Ejemplo n.º 1

def change_multiple():
    """Change multiple rules."""
    rule_file = os.path.join(_data_dir, "Menus", "Change_MultipleRules.json")
    rules_menu = Menu(file=rule_file)
    Settings().print_rules()
    group = rules_menu.open()

    mode_file = os.path.join(_data_dir, "Menus", "Change_RuleMode.json")
    mode_menu = Menu(file=mode_file)
    mode = mode_menu.open()
    if group and mode:
        Rules.change_multiple(group, mode)

Ejemplo n.º 2

Archivo: test_Sequent.py Proyecto: LogicalExpressivism/SequentProver

 def setUp(self) -> None:
     Rules.change_multiple("", "Invertible")