stability_label_algorithm/modules/argumentation/argumentation_theory/literal.py
def update_literal_name(self, new_name: str) -> None:
        """
        Update the name of this Literal.

        :param new_name: Change the name of the Literal (and make sure that some naming requirements are met).
        """
        if self.negated:
            if not new_name.startswith('~'):
                raise ValueError('This literal is negated and should therefore start with \'~\'.')
            if '~' in new_name[1:]:
                raise ValueError('The \'~\' is only allowed as first character.')
            self.s1 = new_name
            self.abs_literal_str = new_name[1:]
        else:
            if '~' in new_name:
                raise ValueError('Literal names are not allowed to contain \'~\'.')
            self.s1 = new_name
            self.abs_literal_str = new_name

        Update the name of this Literal.

        :param new_name: Change the name of the Literal (and make sure that some naming requirements are met).
        
Update the name of this Literal.
Update the name of this Literal .
def update_literal_name(self, new_name: str) -> None:
        if self.negated:
            if not new_name.startswith('~'):
                raise ValueError('This literal is negated and should therefore start with \'~\'.')
            if '~' in new_name[1:]:
                raise ValueError('The \'~\' is only allowed as first character.')
            self.s1 = new_name
            self.abs_literal_str = new_name[1:]
        else:
            if '~' in new_name:
                raise ValueError('Literal names are not allowed to contain \'~\'.')
            self.s1 = new_name
            self.abs_literal_str = new_name
def update_literal_name ( self , new_name : str ) -> None : if self . negated : if not new_name . startswith ( '~' ) : raise ValueError ( 'This literal is negated and should therefore start with \'~\'.' ) if '~' in new_name [ 1 : ] : raise ValueError ( 'The \'~\' is only allowed as first character.' ) self . s1 = new_name self . abs_literal_str = new_name [ 1 : ] else : if '~' in new_name : raise ValueError ( 'Literal names are not allowed to contain \'~\'.' ) self . s1 = new_name self . abs_literal_str = new_name
Update the name of this Literal.
Update the name of this Literal .
"""
        Update the name of this Literal.

        :param new_name: Change the name of the Literal (and make sure that some naming requirements are met).
        """
self
new_name
str
Change the name of the Literal (and make sure that some naming requirements are met).
Change the name of the Literal ( and make sure that some naming requirements are met ) .