def check_can_assume(logic, fmla, ast): if not il.is_in_logic(il.close_formula(fmla), logic): report_error(logic, "", ast)
def check_can_assume(logic, fmla, ast, unstrat): if not il.is_in_logic(fmla, logic, unstrat): report_error(logic, "", ast, unstrat)
def check_can_assert(logic, fmla, ast): check_can_assume(logic, fmla, ast) if not il.is_in_logic(il.Not(fmla), logic): report_error(logic, " when negated", ast)
def check_can_assert(logic, fmla, ast, unstrat): check_can_assume(logic, fmla, ast, unstrat) if not il.is_in_logic(il.Not(fmla), logic, unstrat): report_error(logic, " when negated", ast, unstrat)
def check_can_assume(logic,fmla,ast): if not il.is_in_logic(il.close_formula(fmla),logic): report_error(logic,"",ast)
def check_can_assume(fmla,ast): logic = ivy_module.logic() if not is_in_logic(fmla,logic): raise IvyError(ast,"This formula is not in logic {}.".format(logic))
def check_can_assert(fmla,ast): check_can_assume(fmla,ast) logic = ivy_module.logic() if not is_in_logic(Not(fmla),logic): raise IvyError(ast,"This formula is not in logic {} when negated.".format(logic))
def check_can_assume(fmla, ast): logic = ivy_module.logic() if not is_in_logic(fmla, logic): raise IvyError(ast, "This formula is not in logic {}.".format(logic))
def check_can_assert(fmla, ast): check_can_assume(fmla, ast) logic = ivy_module.logic() if not is_in_logic(Not(fmla), logic): raise IvyError( ast, "This formula is not in logic {} when negated.".format(logic))