(self, tokens, command)
return var
Parses a single name from the tokens
Parses a single name from the tokens
Parses a single name from the tokens
def parse_atom(self, tokens, command):
        """Parses a single name from the tokens"""
        var = tokens.consume("Unexpected end of stream in %s command." %
                                     command)
        if var == "(" or var == ")":
            raise PysmtSyntaxError("Unexpected token '%s' in %s command." %
                                   (var, command),
                                   tokens.pos_info)
        return var
def parse_atom ( self , tokens , command ) : var = tokens . consume ( "Unexpected end of stream in %s command." % command ) if var == "(" or var == ")" : raise PysmtSyntaxError ( "Unexpected token '%s' in %s command." % ( var , command ) , tokens . pos_info ) return var