Python Rules.change_multiple示例

示例#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)

示例#2

文件： test_Sequent.py 项目： LogicalExpressivism/SequentProver

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