stability_label_algorithm/modules/argumentation/labelers/four_bool_labeler.py
def color_rule(rule, labels):
        """
        Color the Rule, that is: check, based on is children, if this Rule can still become
        unsatisfiable/defended/out/blocked.
        """
        if all([not labels.literal_labeling[literal].unsatisfiable for literal in rule.antecedents]):
            # R-U-a: None of the antecedents can become unsatisfiable, so the rule cannot be unsatisfiable.
            labels.rule_labeling[rule].unsatisfiable = False

        if any([not labels.literal_labeling[literal].defended for literal in rule.antecedents]):
            # R-D-a: At least one of the antecedents cannot become defended, so the rule cannot be defended.
            labels.rule_labeling[rule].defended = False

        if all([not labels.literal_labeling[literal].out for literal in rule.antecedents]):
            # R-O-a: None of the antecedents can become out, so the rule cannot be out.
            labels.rule_labeling[rule].out = False

        if all([not labels.literal_labeling[literal].blocked for literal in rule.antecedents]):
            # R-B-a: None of the antecedents can become blocked, so the rule cannot be blocked.
            labels.rule_labeling[rule].blocked = False
        if any([not labels.literal_labeling[literal].blocked and
                not labels.literal_labeling[literal].defended for literal in rule.antecedents]):
            # R-B-b: At least one of the antecedents cannot become defended or blocked, so the rule cannot be blocked.
            labels.rule_labeling[rule].blocked = False

        Color the Rule, that is: check, based on is children, if this Rule can still become
        unsatisfiable/defended/out/blocked.
        
Color the Rule, that is: check, based on is children, if this Rule can still become
unsatisfiable/defended/out/blocked.
Color the Rule that is : check based on is children if this Rule can still become unsatisfiable / defended / out / blocked .
def color_rule(rule, labels):
        if all([not labels.literal_labeling[literal].unsatisfiable for literal in rule.antecedents]):
            labels.rule_labeling[rule].unsatisfiable = False
        if any([not labels.literal_labeling[literal].defended for literal in rule.antecedents]):
            labels.rule_labeling[rule].defended = False
        if all([not labels.literal_labeling[literal].out for literal in rule.antecedents]):
            labels.rule_labeling[rule].out = False
        if all([not labels.literal_labeling[literal].blocked for literal in rule.antecedents]):
            labels.rule_labeling[rule].blocked = False
        if any([not labels.literal_labeling[literal].blocked and
                not labels.literal_labeling[literal].defended for literal in rule.antecedents]):
            labels.rule_labeling[rule].blocked = False
def color_rule ( rule , labels ) : if all ( [ not labels . literal_labeling [ literal ] . unsatisfiable for literal in rule . antecedents ] ) : labels . rule_labeling [ rule ] . unsatisfiable = False if any ( [ not labels . literal_labeling [ literal ] . defended for literal in rule . antecedents ] ) : labels . rule_labeling [ rule ] . defended = False if all ( [ not labels . literal_labeling [ literal ] . out for literal in rule . antecedents ] ) : labels . rule_labeling [ rule ] . out = False if all ( [ not labels . literal_labeling [ literal ] . blocked for literal in rule . antecedents ] ) : labels . rule_labeling [ rule ] . blocked = False if any ( [ not labels . literal_labeling [ literal ] . blocked and not labels . literal_labeling [ literal ] . defended for literal in rule . antecedents ] ) : labels . rule_labeling [ rule ] . blocked = False
Color the Rule, that is: check, based on is children, if this Rule can still become
unsatisfiable/defended/out/blocked.
Color the Rule that is : check based on is children if this Rule can still become unsatisfiable / defended / out / blocked .
"""
        Color the Rule, that is: check, based on is children, if this Rule can still become
        unsatisfiable/defended/out/blocked.
        """ # R-U-a: None of the antecedents can become unsatisfiable, so the rule cannot be unsatisfiable. # R-D-a: At least one of the antecedents cannot become defended, so the rule cannot be defended. # R-O-a: None of the antecedents can become out, so the rule cannot be out. # R-B-a: None of the antecedents can become blocked, so the rule cannot be blocked. # R-B-b: At least one of the antecedents cannot become defended or blocked, so the rule cannot be blocked.
rule
labels