stability_label_algorithm/modules/argumentation/labelers/fqas_labeler.py
def color_rule(self, rule):
        """
        Color the Rule, that is: check, based on is antecedents, if this Rule can still become
        unsatisfiable/defended/out/blocked.
        """
        if any([self.literal_labeling[literal] == StabilityLabel(True, False, False, False)
                for literal in rule.antecedents]):
            # U rule
            self.rule_labeling[rule] = StabilityLabel(True, False, False, False)
        elif all([self.literal_labeling[literal] == StabilityLabel(False, True, False, False)
                  for literal in rule.antecedents]):
            # D rule
            self.rule_labeling[rule] = StabilityLabel(False, True, False, False)
        elif any([self.literal_labeling[literal] == StabilityLabel(False, False, True, False)
                  for literal in rule.antecedents]) and \
                all([self.literal_labeling[literal] == StabilityLabel(False, True, False, False) or
                     self.literal_labeling[literal] == StabilityLabel(False, False, True, False) or
                     self.literal_labeling[literal] == StabilityLabel(False, False, False, True)
                     for literal in rule.antecedents]):
            # O rule
            self.rule_labeling[rule] = StabilityLabel(False, False, True, False)
        elif any([self.literal_labeling[literal] == StabilityLabel(False, False, False, True)
                  for literal in rule.antecedents]) and \
                all([self.literal_labeling[literal] == StabilityLabel(False, True, False, False) or
                     self.literal_labeling[literal] == StabilityLabel(False, False, False, True)
                     for literal in rule.antecedents]):
            # B rule
            self.rule_labeling[rule] = StabilityLabel(False, False, False, True)

        Color the Rule, that is: check, based on is antecedents, if this Rule can still become
        unsatisfiable/defended/out/blocked.
        
Color the Rule, that is: check, based on is antecedents, if this Rule can still become
unsatisfiable/defended/out/blocked.
Color the Rule that is : check based on is antecedents if this Rule can still become unsatisfiable / defended / out / blocked .
def color_rule(self, rule):
        if any([self.literal_labeling[literal] == StabilityLabel(True, False, False, False)
                for literal in rule.antecedents]):
            self.rule_labeling[rule] = StabilityLabel(True, False, False, False)
        elif all([self.literal_labeling[literal] == StabilityLabel(False, True, False, False)
                  for literal in rule.antecedents]):
            self.rule_labeling[rule] = StabilityLabel(False, True, False, False)
        elif any([self.literal_labeling[literal] == StabilityLabel(False, False, True, False)
                  for literal in rule.antecedents]) and \
                all([self.literal_labeling[literal] == StabilityLabel(False, True, False, False) or
                     self.literal_labeling[literal] == StabilityLabel(False, False, True, False) or
                     self.literal_labeling[literal] == StabilityLabel(False, False, False, True)
                     for literal in rule.antecedents]):
            self.rule_labeling[rule] = StabilityLabel(False, False, True, False)
        elif any([self.literal_labeling[literal] == StabilityLabel(False, False, False, True)
                  for literal in rule.antecedents]) and \
                all([self.literal_labeling[literal] == StabilityLabel(False, True, False, False) or
                     self.literal_labeling[literal] == StabilityLabel(False, False, False, True)
                     for literal in rule.antecedents]):
            self.rule_labeling[rule] = StabilityLabel(False, False, False, True)
def color_rule ( self , rule ) : if any ( [ self . literal_labeling [ literal ] == StabilityLabel ( True , False , False , False ) for literal in rule . antecedents ] ) : self . rule_labeling [ rule ] = StabilityLabel ( True , False , False , False ) elif all ( [ self . literal_labeling [ literal ] == StabilityLabel ( False , True , False , False ) for literal in rule . antecedents ] ) : self . rule_labeling [ rule ] = StabilityLabel ( False , True , False , False ) elif any ( [ self . literal_labeling [ literal ] == StabilityLabel ( False , False , True , False ) for literal in rule . antecedents ] ) and all ( [ self . literal_labeling [ literal ] == StabilityLabel ( False , True , False , False ) or self . literal_labeling [ literal ] == StabilityLabel ( False , False , True , False ) or self . literal_labeling [ literal ] == StabilityLabel ( False , False , False , True ) for literal in rule . antecedents ] ) : self . rule_labeling [ rule ] = StabilityLabel ( False , False , True , False ) elif any ( [ self . literal_labeling [ literal ] == StabilityLabel ( False , False , False , True ) for literal in rule . antecedents ] ) and all ( [ self . literal_labeling [ literal ] == StabilityLabel ( False , True , False , False ) or self . literal_labeling [ literal ] == StabilityLabel ( False , False , False , True ) for literal in rule . antecedents ] ) : self . rule_labeling [ rule ] = StabilityLabel ( False , False , False , True )
Color the Rule, that is: check, based on is antecedents, if this Rule can still become
unsatisfiable/defended/out/blocked.
Color the Rule that is : check based on is antecedents if this Rule can still become unsatisfiable / defended / out / blocked .
"""
        Color the Rule, that is: check, based on is antecedents, if this Rule can still become
        unsatisfiable/defended/out/blocked.
        """ # U rule # D rule # O rule # B rule
self
rule